@staticmethod<EOL><INDENT>def _z3_ast_hash(ast):<DEDENT>
return ast.value<EOL>
This is a better hashing function for z3 Ast objects. Z3_get_ast_hash() creates too many hash collisions.

:param ast: A z3 Ast object.
:return:    An integer - the hash.