fn compute_uses(body: &ExprBody) -> IndexVec<BlockId, HashSet<LocalId>>
Compute for each block the locals that are assumed to have been initialized/defined before entering it.