method proofStatus: ProofEngineTypes.status (** @raise Statement_error *)
method proofMetasenv: Cic.metasenv (** @raise Statement_error *)
method proofContext: Cic.context (** @raise Statement_error *)
+ method proofConclusion: Cic.term (** @raise Statement_error *)
method setGoal: int -> unit