revert CNF-formatted CFG to the original CFG in printing