modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Zeilen 606 - 623 eingefuegt, um die parallel berechneten Ergebnisse richtig zu filtern TODO - Fuer Variance -1 muss das gleiche gemacht werden - ab Zeile 550: nextSetasListRest muss nach jedem fork aufruf gefiltert werden.