diff --git a/src/de/dhbwstuttgart/core/MyCompiler.java b/src/de/dhbwstuttgart/core/MyCompiler.java
index 49b01d7cb..ef2bcddee 100755
--- a/src/de/dhbwstuttgart/core/MyCompiler.java
+++ b/src/de/dhbwstuttgart/core/MyCompiler.java
@@ -158,10 +158,10 @@ public class MyCompiler implements MyCompilerAPI{
 			ret.add(funN.getPublicFieldAssumptions());
 		}
 		//Keine FunVoidInterfaces in den Assumptions.
-		//for(int i = 0; i<6; i++){
-		//	FunVoidNInterface funN = new FunVoidNInterface(i);
-		//	ret.add(funN.getPublicFieldAssumptions());
-		//}
+		for(int i = 0; i<6; i++){
+			FunVoidNInterface funN = new FunVoidNInterface(i);
+			ret.add(funN.getPublicFieldAssumptions());
+		}
 		
 		return ret;
 	}
diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 4512bb433..7b9641dce 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -375,12 +375,12 @@ public class SourceFile
         	
         unifyConstraints.filterWrongConstraints(unifier);
         	
-        unifyConstraints.unifyUndConstraints(unifier); //rausgeworfen für Tests (08.12.2015)
+        //unifyConstraints.unifyUndConstraints(unifier); //rausgeworfen für Tests (08.12.2015)
 
     	typinferenzLog.debug("Übriggebliebene Konstraints:\n"+oderConstraints+"\n", Section.TYPEINFERENCE);
     	
     	typinferenzLog.debug("Übriggebliebene Konvertierte Konstraints:\n"+unifyConstraints+"\n", Section.TYPEINFERENCE);
-    	    
+    	
         ////////////////
 	    //Karthesisches Produkt bilden:
 	    ////////////////