updates to the unconditional branch transform