Predicate DataFlowUtil::exprNode

Gets the node corresponding to e.

ExprNode exprNode(Expr e)