VariableOrderWrong: version 4.0.1: variable S should occur before RESTRICT
  VariableOrderWrong: version 4.3.1: variable S should occur before RESTRICT