Export result giving FDOM mmlPEG.rules
Lots of progress with "PEG implements CFG" proof