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