diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 4a7e2750..87798e42 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -78,6 +78,8 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 	
 	Integer noUndefPair = 0;
 	
+	Integer noAllErasedElements = 0;
+	
 	Integer noBacktracking = 0;
 	
 	public TypeUnifyTask() { 
@@ -559,9 +561,11 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				writeLog("nextSet: " + nextSet.toString());
 				writeLog("nextSetasList: " + nextSetasList.toString());
 				writeLog("Number erased Elements (undef): " + (len - nextSetasList.size()));
-				System.out.println("");
+				noAllErasedElements = noAllErasedElements + (len - nextSetasList.size());
+				writeLog("Number erased Elements (undef): " + noAllErasedElements.toString());
 				noBacktracking++;
 				writeLog("Number of Backtracking: " + noBacktracking);
+				System.out.println("");
 			}
 			//if (nextSetasList.size() == 0 && isUndefinedPairSetSet(result) && nextSet.size() > 1) { 
 			//	return result;