Let some optimizations return non-zero, if they changed something (for fixpoint itera...