*QVar parameters added to getNextConfig in the QEA for NonDetChoice
checking
*NonDetChoice checking added
*Methods resizeArray and qVarMatchesBinding added
*Flag argsNumberChecked modified to check number of arguments matches
number of event parameters only once