Member predicate DataFlow::Configuration::isAdditionalStoreStep
EXPERIMENTAL. This API may change in the future.
Holds if pred should be stored in the object succ under the property prop.
The object succ must be a DataFlow::SourceNode for the object wherein the value is stored.
predicate isAdditionalStoreStep(Node pred, SourceNode succ, string prop)