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;