VariableOrderWrong: version 3.1-r1: variable S should occur before RESTRICT