Hi, I was wondering how the algorithm for left recursion removal works? Does it have a name, where can I find good introductions about them, or more detailed papers? How safely can I use it (is it always functionally identical to the rule before removal)?