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