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