object   method assume : Lang.F.pred -> unit   method copy : Conditions.simplifier   method fixpoint : unit   method infer : Lang.F.pred list   method name : string   method simplify_branch : Lang.F.pred -> Lang.F.pred   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