VariableOrderWrong: version 1.11.1_p20230201: variable S should occur before RESTRICT