'Integer + Integer       -> Integer
Integer + !Integer      -> !Integer
!Integer + !Integer -> ?'

@staticmethod
def Add(expr, assumptions):

    if expr.is_number:
        return AskIntegerHandler._number(expr, assumptions)
    return test_closed_group(expr, assumptions, Q.integer)
