diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 06981250..429371e5 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -697,8 +697,8 @@ public class SourceFile
         	Vector<Vector<Pair>> retValue = new Vector<>();
         	retValue = Unify.unify(pairs, finiteClosure);
         	return retValue;};
-        oderConstraints.filterWrongConstraints(unifier);
-        oderConstraints.unifyUndConstraints(unifier);
+        //oderConstraints.filterWrongConstraints(unifier);
+        //oderConstraints.unifyUndConstraints(unifier);
         typinferenzLog.debug("Übriggebliebene Konstraints:\n"+oderConstraints+"\n", Section.TYPEINFERENCE);
         //Die Constraints in Pair's umwandeln (Karthesisches Produkt bilden):
         Vector<Vector<Pair>> xConstraints = new Vector<Vector<Pair>>();// = oderConstraints.getConstraints();