Tested with complete CFG and extended BB's