improvements in Kruskal animation