Fix a horrible infloop in value tracking in the face of dead code.