VariableOrderWrong: version 1.94: variable S should occur before RESTRICT