VariableOrderWrong: version 3.4.0: variable S should occur before RESTRICT
  VariableOrderWrong: version 3.6.1: variable S should occur before RESTRICT
  VariableOrderWrong: version 9999: variable S should occur before RESTRICT