VariableOrderWrong: version 8.10.0: variable S should occur before RESTRICT