Optional ReadonlyfreeThe names the slice reads without defining them, so running it on its own would fail with
object 'x' not found. Empty when the slice is closed under the names it uses.
Optional ReadonlyprogressHow far the traversal got, set exactly when stoppedEarly is.
ReadonlyresultThe ids of the nodes in the normalized ast that are part of the slice.
ReadonlyslicedThe ids of the nodes in the normalized ast that were used as seed ids for slicing. This is a subset of result.
Optional ReadonlystoppedSet when the GasFeatureKey.Slicer|gas guard stopped the traversal before the queue drained, so result is what was reached until then and not the complete slice.
ReadonlytimesNumber of times the set threshold was hit (i.e., the same node was visited too often). While any number above 0 might indicate a wrong slice, it does not have to as usually even revisiting the same node seldom causes more ids to be included in the slice.
The result of the slice step