VariableOrderWrong: version 1.2.18: variable S should occur before RESTRICT