VariableOrderWrong: version 1.15.4: variable S should occur before RESTRICT