Predicate DefUse::defUsePair

Holds if there exists a path from def to use without passing through another VariableUpdate of the LocalScopeVariable that they both refer to.

Other paths may also exist, so the SSA variables in def and use can be different.

predicate defUsePair(VariableUpdate def, RValue use)