Readonly
The slicing criterion is only of interest if you actually want to slice the R code
Optional
The direction to slice in. Defaults to backward slicing if unset.
How many re-visits of the same node are ok?
The slicing criterion is only of interest if you actually want to slice the R code