anchor.diff:                let stack' =
                   let tail = (Cfg cfg)::stack in
                   if cfg.debug.print_normalized
  -                then (// printfn "Starting to normalize %s" (Print.term_to_string t);
  -    Debug(t, BU.now())::tail)
  +                then (Debug(t, BU.now())::tail)
                   else tail in
                 norm cfg' env stack' tm
               end
  
positive.code: 
  let dummy : option<binder> * closure = None,Dummy
  
  let closure_to_string = function
      | Clos (_, t, _, _) -> Print.term_to_string t
      | Univ _ -> "Univ"
      | Dummy -> "dummy"
  
  type debug_switches = {
      gen : bool;
  
negative.code:     inline_closure_env cfg env [] t
  
  and rebuild_closure cfg env stack t =
      log cfg (fun () -> BU.print4 "\n>>> %s (env=%s, stack=%s) Rebuild closure_as_term %s\n" (Print.tag_of_term t) (env_to_string env) (stack_to_string stack) (Print.term_to_string t));
      match stack with
      | [] -> t
  
  