Adding a new compression round for ite simplifier.