fn predecessor_count(body: &Body<'_>) -> IndexVec<BasicBlock, usize>