@mcc right now I'm focusing on two cases where I can raise warnings:

- Ranges that can be reduced, where the boundaries of the tests never reach the literal boundaries set in the program.
- Linear logic that can be reduced.