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