Remove bug with lazy edges in dijkstra congruence and make used equalities be reachable with weight 0 for dijkstra search algorithm