VariableOrderWrong: version 4.9.1: variable S should occur before RESTRICT