Check if a variable is constrained to be an integer
sym_isInteger(index)
This function checks if a variable is constrained to be an integer.
index : Index of the variable to check. Must be in {0,1,2,...n-1} where n is the number of variables in the problem