dijsktra buggy impl