Check whether there is some support by means of attributes, ranges and domains,..... This should include support for advanced constraints (+,-,x,/,%,>,<,>=,<=,==,!=....)