Move expression simplification to loop merger