CFG now handles any number of adjacent empty alternatives