Extra code (that's not currently enabled), so reduce the unncessary clearing of the simplification map during bit-vector solving.  This patch causes some instances to fail.
Extra code (that's not currently enabled), so reduce the unncessary clearing of the simplification map during bit-vector solving.  This patch causes some instances to fail.



kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp