Simplifying and removing left recursions
Following the pattern of other commands