Cleanup of InequalityProduct.