VariableOrderWrong: version 0.15_p20190208: variable S should occur before RESTRICT
  VariableOrderWrong: version 0.15_p20220529: variable S should occur before RESTRICT