VariableOrderWrong: version 2023.12.14: variable S should occur before RESTRICT