Interface SliceResult

The mapping produced to decode the entered criteria

The ids of the nodes in the normalized ast that are part of the slice.

Number 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.