Add a simplification so that (ite(p,5,7) <= 8) is always true is detected.
Add a simplification so that (ite(p,5,7) <= 8) is always true is detected.



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