Updated early-loop-detection.pdf