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