Bug fix: LeftFactorizedArithmeticGrammarTest passes.