Predicate DataFlow::DataFlow::parameterNode

Gets the node corresponding to the value of parameter p at function entry.

ParameterNode parameterNode(Parameter p)