Grammar simplifier incomplete