let context_ctxt_pp s = 
  let al = (Atom.Set.elements (Context.ctxt_of s)) in
  let fmt = Format.std_formatter in
    List.iter
      (fun a ->
         Pretty.string fmt "\nassert ";
         Atom.pp fmt a;
         Pretty.string fmt " .")
      al;
    Format.print_flush()