Function emit_universal_region_facts 

fn emit_universal_region_facts(
    facts: &mut PoloniusFacts,
    borrow_set: &BorrowSet<'_>,
    universal_region_relations: &UniversalRegionRelations<'_>,
)

Emit universal regions facts, and their relations.