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