deubg_check for constructed CFG data.
Some more fixes in cfg_builder.
Start of optimize_step implementation.