Quantification expansion no occurs on the xtext Model rather than during translation to lustre.