VariableOrderWrong: version 2.1.3: variable S should occur before RESTRICT