def _cardinality(self, b): 
raise BackendError("<STR_LIT>")<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 evalute
:return:    An integer