validated LeftRecursion tests