VariableOrderWrong: version 20230329: variable S should occur before RESTRICT