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