Predicate adjacentDefRead
Holds if defOrUse1 is a definition which is first read by use,
or if defOrUse1 is a use and use is a next subsequent use.
In both cases, use can either be an explicit use written in the
source file, or it can be a phi node as computed by the SSA library.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate adjacentDefRead(DefOrUse defOrUse1, UseOrPhi use)