'Handles Symbol.
Examples
>>> from sympy import Symbol, Q
>>> from sympy.assumptions.handlers.calculus import AskFiniteHandler
>>> from sympy.abc import x
>>> a = AskFiniteHandler()
>>> a.Symbol(x, Q.positive(x)) == None
True
>>> a.Symbol(x, Q.finite(x))
True'

@staticmethod
def Symbol(expr, assumptions):

    if (expr.is_finite is not None):
        return expr.is_finite
    if (Q.finite(expr) in conjuncts(assumptions)):
        return True
    return None
