INSTANCE formal_parameter#28; name = "instance_of"; tipe = defined_type#41; is_optional = false; the_function = user_defined_function#2; (* set indirectly *) END_INSTANCE;
INSTANCE formal_parameter#29; name = "combinations"; tipe = set_type#78; is_optional = false; the_function = user_defined_function#2; (* set indirectly *) END_INSTANCE;