Member predicate DataFlow::Configuration::isAdditionalLoadStoreStep
EXPERIMENTAL. This API may change in the future.
Holds if the property prop should be copied from the object pred to the object succ.
predicate isAdditionalLoadStoreStep(Node pred, Node succ, string prop)