INSTANCE multiplication#3; tipe = simple_type(real_type); multiplicands = {function_call#4, reciprocal#3}; END_INSTANCE;
INSTANCE multiplication#4; tipe = simple_type(integer_type); multiplicands = {explicit_attribute#324, function_call#7}; END_INSTANCE;