VariableOrderWrong: version 2.5.3-r1: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.6.2: variable S should occur before RESTRICT