method load_sequents: ProofEngineTypes.status -> unit
method goto_sequent: int -> unit (* to be called _after_ load_sequents *)
end
method load_sequents: ProofEngineTypes.status -> unit
method goto_sequent: int -> unit (* to be called _after_ load_sequents *)
end