anchor.diff:            match find_let_body ses with
             | None -> (QueryNOK, JsonStr "Typechecking yielded an unexpected term")
             | Some def -> let normalized = normalize_term tcenv rules def in
  -                       (QueryOK, JsonStr (Syntax.Print.term_to_string normalized))
  +                       (QueryOK, JsonStr (term_to_string tcenv normalized))
           with | e -> (QueryNOK, (match FStar.Errors.issue_of_exn e with
                                   | Some issue -> JsonStr (FStar.Errors.format_issue issue)
                                   | None -> raise e)))
  
positive.code:              sc.sc_fvars := Some fv; fv
  
  let json_of_search_result dsenv tcenv sc =
    let typ_str = Syntax.Print.term_to_string (sc_typ tcenv sc) in
    JsonAssoc [("lid", JsonStr (DsEnv.shorten_lid dsenv sc.sc_lid).str);
               ("type", JsonStr typ_str)]
  
  
negative.code: 
    let def_of_lid lid =
      Util.bind_opt (TcEnv.lookup_qname tcenv lid) (function
        | (Inr (se, _), _) -> Some (sigelt_to_string se)
        | _ -> None) in
  
    let info_at_pos_opt =
  