let false_literal : literal = request_literal true (request_const (Symbol.create_predicate "false" 0))