correspondence
INSTANCE correspondence#1;
frame1 = type_hlc#5;
frame2 = type_hlc#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = non_null#4;
frame2 = non_null#5;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#3;
frame1 = domain_rules_hlc#5;
frame2 = domain_rules_hlc#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = domain_rule#3;
frame2 = domain_rule#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#5;
frame1 = interval#2;
frame2 = interval#3;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#6;
frame1 = integer_literal#100;
frame2 = integer_literal#102;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#7;
frame1 = integer_literal#101;
frame2 = integer_literal#103;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;