Disable ITE context simplifications. It's too slow on some CVC test cases to justify it.
Disable ITE context simplifications. It's too slow on some CVC test cases to justify it.

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

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