Implement checking Data constraints for CuMin.