VariableOrderWrong: version 1.5.14: variable S should occur before RESTRICT