VariableOrderWrong: version 2.0.1: variable S should occur before RESTRICT