VariableOrderWrong: version 10.7.4: variable S should occur before RESTRICT