correspondence


INSTANCE correspondence#1;
	frame1 = domain_rule#3;
	frame2 = domain_rule#4;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#2;
	frame1 = bound#8;
	frame2 = bound#10;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

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

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

INSTANCE correspondence#5;
	frame1 = integer_literal#101;
	frame2 = integer_literal#103;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;

INSTANCE correspondence#6;
	frame1 = range#4;
	frame2 = range#5;
	semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;