VariableOrderWrong: version 1-r3: variable S should occur before KEYWORDS