[analyzer] Eliminated endless loop.