correspondence
INSTANCE correspondence#1;
frame1 = list_type#23;
frame2 = list_type#24;
semantic_equivalence = semantic_equivalence(frame2_stronger);
END_INSTANCE;
INSTANCE correspondence#2;
frame1 = built_in_constant#97;
frame2 = built_in_constant#98;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#3;
frame1 = optional_xor_empty_aggregation#3;
frame2 = optional_xor_empty_aggregation#4;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;
INSTANCE correspondence#4;
frame1 = type_hlc#5;
frame2 = type_hlc#6;
semantic_equivalence = semantic_equivalence(equivalent);
END_INSTANCE;