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