fixed prim and kruskal verifier