anchor.diff:      | Parser.Driver.Modul (Parser.AST.Module (_, decls))
       | Parser.Driver.Modul (Parser.AST.Interface (_, decls, _)) -> decls in
   
  -  match with_captured_errors st.repl_env (fun _ -> Some <| collect_decls ()) with
  +  match with_captured_errors st.repl_env Util.sigint_ignore
  +            (fun _ -> Some <| collect_decls ()) with
       | None ->
         let errors = collect_errors () |> List.map json_of_issue in
         ((QueryNOK, JsonList errors), Inl st)
  
positive.code:           aux ()
          else
            try aux ()
            with | e -> (QueryNOK, (match FStar.Errors.issue_of_exn e with
                                   | Some issue -> JsonStr (FStar.Errors.format_issue issue)
                                   | None -> raise e)))
  
  let run_compute st term rules =
    let rules =
  
negative.code:     let ses, _, _ = FStar.TypeChecker.Tc.tc_decls tcenv decls in
      ses in
  
    run_and_rewind st (QueryNOK, JsonStr "Computation interrupted") (fun st ->
      let tcenv = st.repl_env in
      let frag = dummy_let_fragment term in
      match st.repl_curmod with
  