Disabled equality preprocessing for integers