VariableOrderWrong: version 1.62-r3: variable S should occur before RESTRICT