Module recursion 

Escape path analysis for recursive definitions.

Detects patterns that can never match because they require infinitely nested structures (recursion with no escape path), or infinite runtime loops where the cursor never advances (left recursion).