no more indirect left-recursion; no errors