anchor.diff:  (* This is used when computing WHNFs                               *)
   (*******************************************************************)
   let rec closure_as_term cfg (env:env) t =
  -    log cfg  (fun () -> BU.print2 ">>> %s Closure_as_term %s\n" (Print.tag_of_term t) (Print.term_to_string t));
  +    log cfg (fun () -> BU.print2 ">>> %s Closure_as_term %s\n" (Print.tag_of_term t) (Print.term_to_string t));
       match env with
           | [] when not <| cfg.steps.compress_uvars -> t
           | _ ->
  
positive.code:     | Univ _ -> "Univ"
      | Dummy -> "dummy"
  
  type cfg = {
      steps: fsteps;
      tcenv: Env.env;
      delta_level: list<Env.delta_level>;  // Controls how much unfolding of definitions should be performed
      primitive_steps:list<primitive_step>;
      strong : bool;                       // under a binder
  
negative.code: let rec norm : cfg -> env -> stack -> term -> term =
      fun cfg env stack t ->
          let t =
              if cfg.debug.norm_delayed
              then (match t.n with
                    | Tm_delayed _ ->
                      BU.print1 "NORM delayed: %s\n" (Print.term_to_string t)
  