VariableOrderWrong: version 2.0.2: variable S should occur before RESTRICT
  VariableOrderWrong: version 2.0.8-r1: variable S should occur before RESTRICT