val goals : output_status -> goal list * goal list (** opened, closed goals *)
val set_goals: goal list * goal list -> output_status -> output_status
val get_stack : input_status -> Stack.t
val goals : output_status -> goal list * goal list (** opened, closed goals *)
val set_goals: goal list * goal list -> output_status -> output_status
val get_stack : input_status -> Stack.t