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