Recursion handling modified: As soon as recursion is detected, analysis
is stopped.