VariableOrderWrong: version 1.3.0_p20230823: variable S should occur before RESTRICT