Clean up of InequalityProduct.