INSTANCE user_defined_function#2; name = "entities_in_flattened_up_plant_instance"; formal_parameters = [formal_parameter#28, formal_parameter#29]; return_type = set_type#81; parameter_type = set_type#80; local_variables = {jex.LocalVariable@c72243}; body = {jex.CaseStmt@c7e8a7, return_statement#2}; END_INSTANCE;