Readonly
The slicing criterion is only of interest if you actually want to slice the R code
Optional
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