anchor.diff:    { env with lax = (check_kind = LaxCheck);
                dsenv = DsEnv.set_syntax_only env.dsenv (check_kind = SyntaxCheck)}
   
  -let with_captured_errors' env f =
  +let with_captured_errors' env sigint_handler f =
     try
  -    f env
  +    Util.with_sigint_handler sigint_handler (fun _ -> f env)
     with
     | Failure (msg) ->
       let msg = "ASSERTION FAILURE: " ^ msg ^ "\n" ^
  
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:     | Parser.Driver.Modul (Parser.AST.Module (_, decls))
      | Parser.Driver.Modul (Parser.AST.Interface (_, decls, _)) -> decls in
  
    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)
  