Returns a constrained integer variable that is an element of the integer "array"
with index defined as another constrained integer variable "indexVar".
Returns a constrained integer variable that is an element of the "array" of variables
with index defined as another constrained integer variable "indexVar".