INSTANCE addition#3; tipe = simple_type(integer_type); addends = {explicit_attribute#304, explicit_attribute#305}; END_INSTANCE;
INSTANCE addition#4; tipe = simple_type(integer_type); addends = {explicit_attribute#321, explicit_attribute#322}; END_INSTANCE;