anchor.diff:                                    (Range.string_of_range t.pos)
                                     (Print.term_to_string t))
             else rebuild cfg env stack (inline_closure_env cfg env [] t)
  +
   
   and do_unfold_fv cfg env stack (t0:term) (qninfo : qninfo) (f:fv) : term =
       match Env.lookup_definition_qninfo cfg.delta_level f.fv_name.v qninfo with
  
positive.code:         then matches scrutinee branches
          else norm_and_rebuild_match ()
  
  let reflection_env_hook = BU.mk_ref None
  
  let normalize_with_primitive_steps ps s e t =
  
negative.code:     end
    | _ -> false
  
  let maybe_drop_rc_typ cfg (rc:residual_comp) : residual_comp =
    if cfg.steps.for_extraction
    then {rc with residual_typ = None}
    else rc
  
  (* GM: Please consider this function private outside of this recursive
   * group, and call `normalize` instead. `normalize` will print timing
   * information when --debug_level NormTop is given, which makes it a
  