It would be great to implement test case reduction strategies in SQLancer itself. The advantage of doing this in SQLancer, rather than an external tool like C-Reduce, is that we have all the information on whether a specific bug is still triggered (e.g., that two queries should yield the same result) and that the reduction can likely go further than when having an external interestingness test (e.g., since a predicate in the WHERE condition of two queries can be reduced simultaneously).

See:

• https://en.wikipedia.org/wiki/Delta_debugging
• https://embed.cs.utah.edu/creduce/