pompend lemma voor CFG's