VariableOrderWrong: version 2023.11.02: variable S should occur before RESTRICT VariableOrderWrong: version 2023.12.01: variable S should occur before RESTRICT