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