more caching of Smt.is_pure