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;
INSTANCE correspondence#4; frame1 = bound#8; frame2 = bound#9; semantic_equivalence = semantic_equivalence(equivalent); END_INSTANCE;