Change SampleSuccessors to slice instead of iterate.