let ctxt_of = function
  | None -> Context.ctxt_of s.current
  | Some(n) -> Context.ctxt_of (context_of n)