VariableOrderWrong: version 2.3.1: variable S should occur before RESTRICT
  VariableOrderWrong: version 3.0.0: variable S should occur before RESTRICT