VariableOrderWrong: version 18.0.1.3.0-r1: variable S should occur before RESTRICT
  VariableOrderWrong: version 20.0.1.3.0: variable S should occur before RESTRICT