#irreducible CFG