VariableOrderWrong: version 5.0.2: variable S should occur before RESTRICT
  VariableOrderWrong: version 5.0.3: variable S should occur before RESTRICT
  VariableOrderWrong: version 5.0.4: variable S should occur before RESTRICT