VariableOrderWrong: version 3.4.2: variable SLOT should occur before RESTRICT VariableOrderWrong: version 3.5.2: variable SLOT should occur before RESTRICT VariableOrderWrong: version 3.6.7: variable SLOT should occur before RESTRICT