property := #synth IM(
	delta = 3
	Delta = 4
);