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