Change how DijkstraCongruence builds deduction EquationPaths