VariableOrderWrong: version 0.11.8: variable S should occur before RESTRICT