diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index 1a1b827c..9ffa28e4 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -136,8 +136,11 @@ public class Unify
     //public static Menge<Menge<Pair>> unifyWC (Menge<Pair> E, FC_TTO fc_tto)
     public static Menge<Menge<Pair>> unifyFiltered (Menge<Pair> E, FC_TTO fc_tto, boolean filter)
     {
+    	SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY);
+    	
     	//Schritt 1: Aufrufen der Regeln durch sub_unify.
     	Menge<Pair> Eq = sub_unify(E,fc_tto);
+    	log.debug("Eq Set nach Schritt 1: "+Eq);
     	/* Schritt 2: Rausfiltern der Typen die entweder beides Typvariablen sind oder nicht.
     	 * Sobald ein Paar auftauch, bei denen kein Typ mehr eine Typvariable ist, kann dieses Paar
     	 * nicht mehr unifiziert werden, deshalb abbruch.*/
@@ -641,7 +644,7 @@ public class Unify
     		}
     	}
     	//Schritt 4, Teil 2: Kartesisches Produkt bilden.
-
+    	log.debug("Unify Sets nach Schritt 4 vor dem Erstellen des Karthesischen Produkts: "+cartProduktSets);
     	/*
     	//TODO: Vor der Bildung des Karthesischen Produkts unmögliche Kombinationen ausfiltern
     	//cartProduktSets kontrollieren:
@@ -667,7 +670,6 @@ public class Unify
     	if(filter)log.debug("Karthesisches Produkt nach Filterung: "+bigCartProductErg3);
     	Sets.cartesianProduct(bigCartProductErg3);
     	*/
-    	SectionLogger log = Logger.getSectionLogger(Unify.class.getName(), Section.UNIFY);
     	
     	if(filter){
     		//Cloner cloner = new Cloner();