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.

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