Add branch_if_overflow_clear_test().