VariableOrderWrong: version 2.11.17: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.12.0: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.13.11: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.17.35: variable S should occur before RESTRICT