diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
index 32856c39..06981250 100755
--- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
+++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java
@@ -800,7 +800,7 @@ public class SourceFile
         	Stream<Vector<Pair>> streamconstraintsclone = indexeset.stream().map(x -> x.stream()
         			                                                           .map(i -> constraintsClone.elementAt(i))
         			                                                               .collect(Vector::new, Vector::add, Vector::addAll));
-//        	Vector<Vector<Pair>> vecconstraintsclone = streamconstraintsclone.collect(Vector::new, Vector::add, Vector::addAll);
+       	//Vector<Vector<Pair>> vecconstraintsclone = streamconstraintsclone.collect(Vector::new, Vector::add, Vector::addAll);
             
         	//Schritt 4: Unifikation  
         	Vector<Vector<Vector<Pair>>> vecunifyResult =
diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unify.java b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
index af749307..130c4365 100755
--- a/src/de/dhbwstuttgart/typeinference/unify/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unify.java
@@ -2358,6 +2358,8 @@ throws MatchException
         {
             // Parameterliste durchgehen
             Vector vTemp = ((RefType)T).get_ParaList();
+            Boolean ret = true; //EINGEFUEGT PL 14-01-16: Return darf erst am Ende zurückgegeben werden und nicht in den ifs 
+            					//sonst werden nicht alle Elemente der Forschleife durchlaufen
             for( int i = 0; i < vTemp.size(); i++ )
             {
                 Type Temp = (Type)vTemp.elementAt(i);
@@ -2374,16 +2376,17 @@ throws MatchException
                         // Typvariable ersetzen
                         Vector<Type> vParaListTemp = ((RefType)T).get_ParaList();
                         vParaListTemp.set( i, o ); // i. Element ersetzen
-                        return true;
+                        ret = true; //GEAENDERT PL 14-01-16
                     }
                 }
                 if( Temp instanceof RefType )
                 {
                     Pair PTemp = new Pair( Temp, null);
                     inferencelog.debug(" TV!!!" + PTemp.toString() );
-                    return Subst( PTemp, 1, a, o, bMitVorbedingung );
+                    ret = Subst( PTemp, 1, a, o, bMitVorbedingung );   //GEAENDERT PL 14-01-16
                 }
             }
+            return ret;  //EINGEFUEGT PL 14-01-16
         }
         
         // TV substituieren