VariableOrderWrong: version 4.11: variable S should occur before RESTRICT