Use getMBBEndIdx rather than assuming that the end is right after the last instructio...