VariableOrderWrong: version 2.19: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.21: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.22: variable S should occur before RESTRICT