object
method assume : Lang.F.pred -> unit
method copy : Lang.simplifier
method fixpoint : unit
method infer : Lang.F.pred list
method name : string
method simplify_branch : Lang.F.pred -> Lang.F.pred
method simplify_exp : Lang.F.term -> Lang.F.term
method simplify_goal : Lang.F.pred -> Lang.F.pred
method simplify_hyp : Lang.F.pred -> Lang.F.pred
method target : Lang.F.pred -> unit
end