Endlosschleife behoben, Solver funktioniert immer noch nicht

War unifikation von variablen, welche nicht unifiziert werden sollten.
Solver gibt jetzt ein sinnloses ergebnis aus.