Added Kruskal sequence verifier