There's no need for a jump to the next block when there are only one path. This is where we will exercise `cpsMayJump` "might require a jump" semantics.