adder


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;