let tptp_replace_var (var: var) : term = let const = Symbol.create_function ("X" ^ string_of_int (Var.id_of_var var)) 0 in request_const const