VariableOrderWrong: version 20210312: variable S should occur before RESTRICT