Ensure that slicing for a given criteria returns the code you expect. Checks against the reconstructed code (which may carry extra tokens for executability); pass an array of SlicingCriterions to check ids instead.
Optional
Ensure that slicing for a given criteria returns the code you expect. Checks against the reconstructed code (which may carry extra tokens for executability); pass an array of SlicingCriterions to check ids instead.