VariableOrderWrong: version 1.11.5: variable S should occur before RESTRICT