Expression Caching for Z3.