diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 38f47e9e..90a1b31b 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -599,11 +599,13 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 						eqPrimePrimeSet.forEach(x -> x.addAll(methodSignatureConstraint));
 						
 						//Substitutionen in methodcontraintsets werdne ausgeführt
+						/* PL auskommentiert 2024-05-02
 						eqPrimePrimeSet = eqPrimePrimeSet.stream().map(
 									x -> { Optional<Set<UnifyPair>> help = rules.subst(x); 
 										   return help.isPresent() ? 
 												   help.get(): 
 													   x; }).collect(Collectors.toSet());
+						*/							   
 						/*
 						 * Ende
 						 */
diff --git a/src/test/java/TestComplete.java b/src/test/java/TestComplete.java
index 160bc5aa..ff42eabc 100644
--- a/src/test/java/TestComplete.java
+++ b/src/test/java/TestComplete.java
@@ -180,7 +180,7 @@ public class TestComplete {
     }
 
     @Test
-    @Ignore()
+    //@Ignore()
     public void matrixOpTest() throws Exception {
         var classFiles = generateClassFiles(new ByteArrayClassLoader(), "MatrixOP.jav");
         var matrixOP = classFiles.get("MatrixOP");