WN: Start tracking "with-loop-edge-cases".