VariableOrderWrong: version 3.1.25: variable S should occur before RESTRICT