Implement aggressive conditional folding