Fixed a typo in: early-loop-detection.pdf: looper -> solver