VariableOrderWrong: version 1.0.0-r1: variable S should occur before RESTRICT
  VariableOrderWrong: version 1.0.2-r1: variable S should occur before RESTRICT