anchor.diff:    `(let ((*nested-context* t))
       ,@body))
   
  -;;================================================================================
  -;;;; TRANSFORM method
  +;;;; ======= TRANSFORM method ======================================================================
   
   (defmethod transform ((xform (eql 'explicitize)) elm)
     (multiple-value-bind (proxy prereqs)
  
positive.code: ;;; functionality.
  (in-package :jwacs)
  
  ;;================================================================================
  ;;;; Explicitize transformation
  ;;;
  ;;; Makes intermediate values explicit by assigning them to named variables.
  ;;; An intermediate value is any value that is passed to an operator or
  
negative.code: ;;;   var x = 10;
  ;;;   var y = 20;
  
  ;;;; ======= Implementation note ===================================================================
  ;;;
  ;;; The explicitize transformation has a more complicated protocol than most of
  ;;; the other transformations, so the TRANSFORM method is just a thin wrapper that
  