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.internal.SsaImpl
predicate firstUse(Definition def, VarRead use)