Predicate FlowVar::FlowVar_internal::assignmentLikeOperation

Holds if v is modified as a side effect of evaluating node, receiving a value best described by e. This corresponds to FlowVar::definedByExpr, except that the case where node instanceof Initializer is covered by initializer instead of this predicate.

predicate assignmentLikeOperation(ControlFlowNode node, Variable v, Expr assignedExpr)