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