anchor.diff:      | App (_, t,_,_) -> BU.format1 "App %s" (Print.term_to_string t)
       | Meta (m,_) -> "Meta"
       | Let  _ -> "Let"
  -    | Steps (_, _, _) -> "Steps"
  +    | Cfg _ -> "Cfg"
       | Debug (t, _) -> BU.format1 "Debug %s" (Print.term_to_string t)
       // | _ -> "Match"
   
  
positive.code:                 else [NoDelta] in
              let cfg' = {cfg with steps=s; delta_level=delta_level} in
              let stack' =
                let tail = Steps (cfg.steps, cfg.primitive_steps, cfg.delta_level)::stack in
                if Env.debug cfg.tcenv <| Options.Other "print_normalized_terms"
                then Debug(t, BU.now())::tail
                else tail in
  
negative.code:     end;
      rebuild cfg env stack t
  
    | Cfg cfg :: stack ->
      rebuild cfg env stack t
  
    | Meta(m, r)::stack ->
      let t = mk (Tm_meta(t, m)) r in
  