Predicate canValueFlow
Holds if a value can flow directly from one expr to another.
Import path
import cpp
predicate
canValueFlow
(
Expr
fromExpr
,
Expr
toExpr
)