Use graph search to find rewritings of loc_exprs in terms of CFA. Various fixes to FrameSection et al.