{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"assert!(!bcbs_seen.contains(priority_list[0]));"}]}
    assert!(!bcbs_seen.contains(priority_list[0]));
    debug_assert_eq!(priority_list[0], priority_list.iter().copied().max().unwrap());
    // Partition the priority list, so that unreachable nodes (removed by MIR opts)