Member predicate AdditionalDataFlowNode::nodeAt

Holds if an additional node is needed in relation to e. The pair (e,id) must uniquely identify the node. The added node can be selected for use in a predicate by the corresponding DataFlow::AdditionalNode.nodeAt(Expr e, string id) predicate.