updating basic blocks definitions and cfg generation from transition, plus basic block compression