switched from a Z3 context per-query to a shared context among all queries. also refactoring to stamp out nondeterminism; eliminating HashSet's/Map's one at a time. Up to CombinePathAndPointerVariable (in alpha order) so far