VariableOrderWrong: version 0.5.2-r5: variable S should occur before RESTRICT
  VariableOrderWrong: version 9999: variable S should occur before RESTRICT