def cardinality(self, a):
return self._cardinality(self.convert(a))<EOL>
This should return the maximum number of values that an expression can take on. This should be a strict *over*
approximation.

:param a:   The AST to evaluate
:return:    An integer