VariableOrderWrong: version 2.1.3-r1: variable S should occur before RESTRICT