Predicate exprDefinition
Holds if def is a (definite) assignment to the stack variable v. e is
the assigned expression.
Import path
import cpp
predicate
exprDefinition
(
SemanticStackVariable
v
,
ControlFlowNode
def
,
Expr
e
)