Add branch_if_overflow_clear().