VariableOrderWrong: version 0.19.13: variable S should occur before RESTRICT