Expression Oversimplification

[rcosta358]

Would close #163. The simplification was too aggressive because it simplified expressions to their most simplified form, which sometimes was not helpful to see in the error message. To fix this, if an expression is simplified to a boolean literal, we use the unsimplified version and stop the simplification.

Example

Before

x > 5 && x == 10 → 10 > 5 → true

After

x > 5 && x == 10 → 10 > 5

---

This approach is too naive and is still not enough, as in some cases we still get e.g., true && true or x == true.