VariableOrderWrong: version 0.41.2: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.2.3: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.3.0: variable S should occur before RESTRICT