correspondence


INSTANCE correspondence#2;
	frame1 = comparator#8;
	frame2 = comparator#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#3;
	frame1 = integer_literal#100;
	frame2 = integer_literal#101;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#4;
	frame1 = bound#8;
	frame2 = bound#9;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;