Computing basic blocks (leaders and instruction sequence)