correspondence
INSTANCE correspondence#1;
frame1 = type_hlc#5;
frame2 = type_hlc#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = domain_rule#3;
frame2 = domain_rule#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#3;
frame1 = comparator#8;
frame2 = comparator#9;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = integer_literal#100;
frame2 = integer_literal#101;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;