Fixes generation of CFG debug information