Predicate DataFlow :: SharedTypeTrackingStep :: withoutPropStep
Holds if type-tracking should step from pred to succ but block flow of prop through here.
This can be seen as taking a copy of the value in pred but without the properties in props.
Import path
import javascript
predicate
withoutPropStep
(
Node
pred
,
Node
succ
,
PropertySet
props
)