Limiting application of simpIte() to only the first round of simplify assertions.