':see Expression.findtype()'

def findtype(self, variable):

    assert isinstance(variable, Variable), (u'%s    is    not    a    Variable' % variable)
    if (self.variable == variable):
        return self.type
    else:
        return ANY_TYPE
