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