Predicate valueFlowStep
Holds if e1 + delta equals e2.
Import path
import semmle.code.java.dataflow.RangeUtils
predicate
valueFlowStep
(
Expr
e2
,
Expr
e1
,
int
delta
)