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.SSApredicate firstUse(TrackedSsaDef def, VarRead use)