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.



git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@945 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP