diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 7af531e6e..4ed9f8fbc 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -399,12 +399,13 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				//	result.removeIf(y -> isUndefinedPairSet(y));
 				//}
 				//else result.stream().filter(y -> !isUndefinedPairSet(y));
-			}
+			} // End of if (remainingSets.isEmpty())
 			else {//duerfte gar nicht mehr vorkommen PL 2018-04-03
 				result.addAll(computeCartesianRecursive(elems, remainingSets, eq, fc, parallel)); 
 			}
 			return result;
-		}
+		} // End of while (nextSetasList.size() > 0)
+		return null; //kann nicht erreicht werden, da der Fall bei dem nextSet == empty bereits am Anfang abgefangen wird
 	}