verify_slice_nodes now returns the correct set of nodes