VariableOrderWrong: version 3.3.1-r2: variable S should occur before RESTRICT