anchor.diff:  and query = { qq: query'; qid: string }
   
   let query_needs_current_module = function
  -  | Exit | DescribeProtocol | DescribeRepl
  +  | Exit | DescribeProtocol | DescribeRepl | Segment _
     | Pop | Push { push_peek_only = false } | VfsAdd _
     | GenericError _ | ProtocolViolation _ -> false
     | Push _ | AutoComplete _ | Lookup _ | Compute _ | Search _ -> true
  
positive.code:   else
      let st' = pop_repl st in
      ((QueryOK, JsonNull), Inl st')
  
  let collect_errors () =
    let errors = FStar.Errors.report_all() in
    FStar.Errors.clear ();
    errors
  
  (** Compute and load all dependencies of `filename`.
  
  
negative.code:   ["autocomplete"; "autocomplete/context";
     "compute"; "compute/reify"; "compute/pure-subterms";
     "describe-protocol"; "describe-repl"; "exit";
     "lookup"; "lookup/context"; "lookup/documentation"; "lookup/definition";
     "peek"; "pop"; "push"; "search"; "segment";
     "vfs-add"]
  
  exception InvalidQuery of string
  type query_status = | QueryOK | QueryNOK | QueryViolatesProtocol
  