Holds if the value defined at def can reach use without passing through
any other uses, but possibly through phi nodes and uncertain implicit updates.
Import path
import semmle.code.java.dataflow.SSA
predicate
firstUse
(
TrackedSsaDef
def
,
RValue
use
)