> The `BL` instruction does not change the flags.

Doesn't seem like much of an assumption to me :P