Computing visible blocks now based on control-flow-graph instead of basic blocks.