VariableOrderWrong: version 3.0.3: variable S should occur before RESTRICT