pub fn mentions(c: &Core, out: &mut BTreeSet<Arc<str>>)
Every top-level name an expression mentions — the placement graph’s edges.