Borrow analysis that derives reference-use regions from control flow instead of only lexical block boundaries.