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)