VariableOrderWrong: version 0.6.6: variable S should occur before RESTRICT