Detects left-recursion which cannot lead to correct recursive-descent parsing.