adds info about left-recursion and predictive parsers.