Block & instruction iterator
Split cfg - cfg_builder