start implementing CFGProductionErasers.