VariableOrderWrong: version 4.105: variable S should occur before RESTRICT