anchor.diff:      let dummy_decl = Util.format1 "let __compute_dummy__ = (%s)" term in
       { frag_text = dummy_decl; frag_line = 0; frag_col = 0 } in
   
  -  let normalize_term tcenv t =
  -    FStar.TypeChecker.Normalize.normalize
  -      [FStar.TypeChecker.Normalize.Beta;
  -       FStar.TypeChecker.Normalize.Iota;
  -       FStar.TypeChecker.Normalize.Zeta;
  -       FStar.TypeChecker.Normalize.UnfoldUntil SS.Delta_constant;
  -       FStar.TypeChecker.Normalize.Inlining;
  -       FStar.TypeChecker.Normalize.Eager_unfolding;
  -       FStar.TypeChecker.Normalize.Primops]
  -      tcenv t in
  +  let normalize_term tcenv rules t =
  +    FStar.TypeChecker.Normalize.normalize rules tcenv t in
   
     let find_let_body ses =
       match ses with
  
positive.code:                                        assoc "[location]" "line" loc |> js_int,
                                         assoc "[location]" "column" loc |> js_int)),
                                  arg "requested-info" |> js_list js_str)
             | "compute" -> Compute (arg "term" |> js_str)
             | "search" -> Search (arg "terms" |> js_str)
             | _ -> ProtocolViolation (Util.format1 "Unknown query '%s'" query) }
    with
  
negative.code:     let args = assoc "query" "args" request |> js_assoc in
  
      let arg k = assoc "[args]" k args in
      let try_arg k =
        match try_assoc k args with
        | Some JsonNull -> None
        | other -> other in
  
      { qid = qid;
        qq = match query with
  