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