Predicate Make::adjacentUseUse

Holds if the certain read at index i1 in basic block bb1 reaches the certain read at index i2 in basic block bb2 without going through any other certain read. The boolean samevar indicates whether the two reads are of the same SSA variable.

Note that since this relation skips over phi nodes and phi reads, it may be quadratic in the number of variable references for certain access patterns.