diff --git a/src/de/dhbwstuttgart/typeinference/result/ResultPair.java b/src/de/dhbwstuttgart/typeinference/result/ResultPair.java
index 19bd65f9b..749f9c1c6 100644
--- a/src/de/dhbwstuttgart/typeinference/result/ResultPair.java
+++ b/src/de/dhbwstuttgart/typeinference/result/ResultPair.java
@@ -23,4 +23,8 @@ public abstract class ResultPair<A extends RefTypeOrTPHOrWildcardOrGeneric,B ext
     public B getRight() {
         return right;
     }
+    
+    public String toString() {
+    	return "(" + left.toString() + ", " + right.toString() + ")";
+    }
 }
diff --git a/src/de/dhbwstuttgart/typeinference/result/ResultSet.java b/src/de/dhbwstuttgart/typeinference/result/ResultSet.java
index 19701d7b7..44cd749c6 100644
--- a/src/de/dhbwstuttgart/typeinference/result/ResultSet.java
+++ b/src/de/dhbwstuttgart/typeinference/result/ResultSet.java
@@ -28,6 +28,10 @@ public class ResultSet {
     }
 
     //TODO Beim Einsetzen eines Generics, müssen die new und Methodenaufrufe verändert werden
+    
+    public String toString() {
+    	return results.toString();
+    }
 
 }
 
@@ -108,7 +112,7 @@ class Resolver implements ResultSetVisitor {
     public void visit(ExtendsWildcardType extendsWildcardType) {
 
     }
-
+    
 }
 
 /**
diff --git a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
index ad674ddd6..c66c62200 100644
--- a/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
+++ b/src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
@@ -379,7 +379,14 @@ public class TYPEStmt implements StatementVisitor{
     		return;
     	}
     	if (literal.value instanceof Integer) { 
-    		constraintsSet.addUndConstraint(new Pair(literal.getType(), integer, PairOperator.EQUALSDOT)); 
+    		Set<Constraint> oderConstraints = new HashSet<>();
+    		Constraint constraint = new Constraint();
+    		constraint.add(new Pair(literal.getType(), integer, PairOperator.EQUALSDOT));
+    		oderConstraints.add(constraint);
+    		constraint = new Constraint();
+            constraint.add(new Pair(literal.getType(), doublee, PairOperator.EQUALSDOT));
+            oderConstraints.add(constraint);
+    		constraintsSet.addOderConstraint(oderConstraints);
     		return;
     	}
     	if (literal.value instanceof Short) { 
diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 63c2bd311..f51c351e4 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -597,6 +597,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				writeLog("nextSet: " + nextSet.toString());
 				writeLog("nextSetasList: " + nextSetasList.toString());
 				writeLog("Number first erased Elements (undef): " + (len - nofstred));
+				writeLog("Number second erased Elements (undef): " + (nofstred- nextSetasList.size()));
 				writeLog("Number erased Elements (undef): " + (len - nextSetasList.size()));
 				noAllErasedElements = noAllErasedElements + (len - nextSetasList.size());
 				writeLog("Number of all erased Elements (undef): " + noAllErasedElements.toString());