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;