method proofConclusion: Cic.term (** @raise Statement_error *)
method stack: Continuationals.Stack.t (** @raise Statement_error *)
method proofConclusion: Cic.term (** @raise Statement_error *)
method stack: Continuationals.Stack.t (** @raise Statement_error *)