object
  method assume : Util.symbol -> Logic.pred -> unit
  method enterBlock :
    (Util.symbol * Logic.pred) list -> (string * string) list -> unit
  method exitBlock : unit
  method goal_failure : Logic.pred -> unit
  method goal_success : Logic.pred -> Proof.proof -> unit
  method name : string
  method options : Options.optionDescr list
  method run : unit
  method start_goal : Logic.pred -> unit
  method unassume : unit
end