VariableOrderWrong: version 2.9.700.3000: variable S should occur before RESTRICT