VariableOrderWrong: version 0.52.24: variable S should occur before RESTRICT