VariableOrderWrong: version 1.2.48: variable S should occur before RESTRICT