Basic Block and instruction iteration