INSTANCE adder#1; extracted_from = {equation#3}; addends = {?x, ?y}; sum = ?z; END_INSTANCE;
INSTANCE adder#2; extracted_from = {equation#4}; addends = {?x, ?y}; sum = ?z; END_INSTANCE;
INSTANCE adder#3; extracted_from = {equation#7}; addends = {explicit_attribute#131, explicit_attribute#132}; sum = derived_attribute#3; END_INSTANCE;