diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java
index 91406612..b29caa1a 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java
@@ -79,9 +79,10 @@ public class Match implements IMatch {
 			// SUBST - Rule
 			if(lhsType instanceof PlaceholderType) {
 				mgu.add((PlaceholderType) lhsType, rhsType);
-				termsList = termsList.stream().map(mgu::applyleft).collect(Collectors.toCollection(ArrayList::new));
 				idx = idx+1 == termsList.size() ? 0 : idx+1;
-				continue;
+				//PL 2024-04-08 falsch da es sich nicht um Unifikation handelt
+				//termsList = termsList.stream().map(mgu::applyleft).collect(Collectors.toCollection(ArrayList::new));
+				//continue;
 			}
 			
 			idx++;
diff --git a/src/test/java/TestComplete.java b/src/test/java/TestComplete.java
index 59bf694c..d76a5566 100644
--- a/src/test/java/TestComplete.java
+++ b/src/test/java/TestComplete.java
@@ -1034,7 +1034,7 @@ public class TestComplete {
     }
 
     @Test
-    @Ignore("This hangs")
+    //@Ignore("This hangs")
     public void testBug309() throws Exception {
         var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug309.jav");
         var clazz = classFiles.get("Bug309");