diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 91aeba6e..63c2bd31 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -570,34 +570,27 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 						                              .collect(Collectors.toCollection(HashSet::new));
 				//Set<PlaceholderType> vars = durchschnitt.stream().map(x -> (PlaceholderType)x.getLhsType()).collect(Collectors.toCollection(HashSet::new));
 				int len = nextSetasList.size();
-				//if (!durchschnitt.isEmpty()) 
-				{
-					//UnifyPair groundBasepair = res.iterator().next().iterator().next().getGroundBasePair().get();
-					Set<UnifyPair> undefRes = res.stream().reduce((y,z) -> { y.addAll(z); return y;}).get(); //flatten aller undef results
-					Set<Pair<Set<UnifyPair>, UnifyPair>> reducedUndefResSubstGroundedBasePair = undefRes.stream()
-							.map(x -> { Set<UnifyPair> su = x.getAllSubstitutions(); //alle benutzten Substitutionen
-										su.add(x.getGroundBasePair());  // urspruengliches Paar
-										su.removeAll(durchschnitt); //alle aktuell genänderten Paare entfernen
-										return new Pair<>(su, x.getGroundBasePair());})
-							.collect(Collectors.toCollection(HashSet::new));
-					//Set<UnifyPair> resGroundBasepairs = undefRes.stream().map(x -> x.getGroundBasePair().get()).collect(Collectors.toCollection(HashSet::new));
-					if (res.size() > 1) {
-						System.out.println();
-					}
-					//Set<UnifyPair> reducedAbhSubst = new HashSet<>(abhSubst);
-					//reducedAbhSubst.removeAll(durchschnitt);
-					nextSetasList = nextSetasList.stream().filter(x -> {
-						//Boolean ret = false;
-						//for (PlaceholderType var : vars) {
-						//	ret = ret || x.stream().map(b -> b.getLhsType().equals(var)).reduce((c,d) -> c || d).get();
-						//}
-						return (!x.containsAll(durchschnitt));
-					})//.filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y)) fuer testzwecke auskommentiert um nofstred zu bestimmen PL 2018-10-10
-							.collect(Collectors.toCollection(ArrayList::new));
-					nofstred = nextSetasList.size();
-					nextSetasList = nextSetasList.stream().filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y))
-							.collect(Collectors.toCollection(ArrayList::new));
+				Set<UnifyPair> undefRes = res.stream().reduce((y,z) -> { y.addAll(z); return y;}).get(); //flatten aller undef results
+				Set<Pair<Set<UnifyPair>, UnifyPair>> reducedUndefResSubstGroundedBasePair = undefRes.stream()
+						.map(x -> { Set<UnifyPair> su = x.getAllSubstitutions(); //alle benutzten Substitutionen
+									su.add(x.getGroundBasePair());  // urspruengliches Paar
+									su.removeAll(durchschnitt); //alle aktuell genänderten Paare entfernen
+									return new Pair<>(su, x.getGroundBasePair());})
+						.collect(Collectors.toCollection(HashSet::new));
+				if (res.size() > 1) {
+					System.out.println();
 				}
+				nextSetasList = nextSetasList.stream().filter(x -> {
+					//Boolean ret = false;
+					//for (PlaceholderType var : vars) {
+					//	ret = ret || x.stream().map(b -> b.getLhsType().equals(var)).reduce((c,d) -> c || d).get();
+					//}
+					return (!x.containsAll(durchschnitt));
+				})//.filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y)) fuer testzwecke auskommentiert um nofstred zu bestimmen PL 2018-10-10
+							.collect(Collectors.toCollection(ArrayList::new));
+				nofstred = nextSetasList.size();
+				nextSetasList = nextSetasList.stream().filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y))
+							.collect(Collectors.toCollection(ArrayList::new));
 				writeLog("abhSubst: " + abhSubst.toString());
 				writeLog("a: " + a.toString());
 				writeLog("Durchschnitt: " + durchschnitt.toString());