VariableOrderWrong: version 2.4.59: variable S should occur before RESTRICT