Basic Block Update