def addition_fail( x=int_(min=0), y=int_(min=0) ): the_sum = x + y assert the_sum >= x and the_sum < y
def addition_success( x=int_(min=0), y=int_(min=0) ): the_sum = x + y assert the_sum >= x and the_sum >= y