Predicate Make::SsaDefReaches::varBlockReachesExt

Holds if def is accessed in basic block bb1 (either a read or a write), bb2 is a transitive successor of bb1, def is live at the end of some predecessor of bb2, and the underlying variable for def is neither read nor written in any block on the path between bb1 and bb2.