Interview question on constraint

In reply to Alokpati:

Shouldn’t there be an additional constraint to ensure d’s value is within arr ?


constraint INSIDE { d inside { arr } ; }