anchor.diff:      let d = match d with
           | [] -> [Env.NoDelta]
           | _ -> d in
  +    let steps = add_steps (cached_steps ()) psteps in
       {tcenv = e;
        debug = { gen = Env.debug e (Options.Other "Norm")
                ; top = Env.debug e (Options.Other "NormTop")
  
positive.code:              ; print_normalized = Env.debug e (Options.Other "print_normalized_terms") };
       steps = to_fsteps s |> add_nbe ;
       delta_level = d;
       primitive_steps = add_steps built_in_primitive_steps
                                      (retrieve_extra_steps ()
                                       @ retrieve_plugins ()
                                       @ psteps);
       strong = false;
       memoize_lazy = true;
       normalize_pure_lets =
  
negative.code:     let weak_steps   = List.map (as_primitive_step false) weak_ops in
      prim_from_list <| (strong_steps @ weak_steps)
  
  let equality_ops : prim_step_set =
      let interp_prop_eq2 (psc:psc) _norm_cb (args:args) : option<term> =
          let r = psc.psc_range in
          match args with
  