Left recursion, first case and test