Gives the current domain of the interval var as a human-readable String.
If the var is fixed, a single number is returned.
Otherwise, if the domain can be represented as an interval, it is represented by "{min..max}".
Otherwise, all values are enumerated in brackets, without any guarantee on the value ordering (i.e. "{v2, v0, v1}")
Returns:
representation of the current domain, in human-readable format.