search: Don't compare vertices solely on their next syscall

This was mistakenly done for the next-vertex set of our graph. While
it sounds like a serious bug, in practice it doesn't seem to affect
output so much for our examples. Probably because it doesn't happen
often that two different states execute the same syscall (but it could
happen).