VariableOrderWrong: version 7.17.16: variable S should occur before RESTRICT
  VariableOrderWrong: version 7.17.25: variable S should occur before RESTRICT