Don't oversimplify to `true`

We should not oversimplify terms to `true`.
For example:

<img width="1647" height="828" alt="Image" src="https://github.com/user-attachments/assets/bb7f6429-41cb-4160-99eb-273cfc46e748" />


In this case `true && true` is not an helpful message. But `27 > 18` is since we can expand each one.