Predicate DataFlow::DataFlow::exprNode

Gets the data flow node corresponding to e.

ExprNode exprNode(Expr e)