typeOfSetupValue: names for numbers in array length error messages
typeOfSetupValue: names for numbers in array length error messages

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script