object
method assume : Lang.F.pred -> unit
method copy : Lang.simplifier
method equivalent_branch : Lang.F.pred -> Lang.F.pred
method equivalent_exp : Lang.F.term -> Lang.F.term
method fixpoint : unit
method infer : Lang.F.pred list
method name : string
method stronger_goal : Lang.F.pred -> Lang.F.pred
method target : Lang.F.pred -> unit
method weaker_hyp : Lang.F.pred -> Lang.F.pred
end