VariableOrderWrong: version 2.5.0: variable S should occur before RESTRICT