VariableOrderWrong: version 0.6: variable S should occur before RESTRICT
  VariableOrderWrong: version 0.6.1: variable S should occur before RESTRICT