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
)