Predicate firstUse
NB: This predicate should be cached.
Holds if def reaches the first use use without going through any other use,
but possibly through phi nodes.
Import path
import semmle.go.dataflow.SsaImplpredicate firstUse(Definition def, Instruction use)