VariableOrderWrong: version 3.34: variable S should occur before RESTRICT
  VariableOrderWrong: version 3.36-r1: variable S should occur before RESTRICT