VariableOrderWrong: version 1.13: variable S should occur before RESTRICT