pub(crate) fn list_reachable_from_head<G>(graph: &G) -> Result<BitVec>where
    G: SwhForwardGraph + SwhBackwardGraph + SwhGraphWithProperties + Sync,
    <G as SwhGraphWithProperties>::Maps: Maps,