A3.2: eval_path/1 mit Heuristik Symmetrische Differenz implementiert

solve(informed) jetzt ausführbar, liefert korrektes ergebnis.