VariableOrderWrong: version 2.15: variable S should occur before RESTRICT