Correcting bugs: information is now safe correctly when generating a
CFG.