let assert_literal : literal = request_literal true (request_const (Symbol.create_predicate "__assert__" 0))