VariableOrderWrong: version 20240407: variable S should occur before RESTRICT