added option to print out cfg with dead code markings: exp.cfgdot + dbg.print_dead_code