Decision. This optimisation helps our cvc regressions but hurts our smtlib ones. So I'm taking it out..
Decision. This optimisation helps our cvc regressions but hurts our smtlib ones. So I'm taking it out..




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

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