diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index f9c2d182..6e24e9da 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -371,6 +371,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 		do {
 			eq0Prime = eqSubst.get();
 			eq0 = applyTypeUnificationRules(eq0Prime, fc);
+			/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ANFANG */
 			Set<UnifyPair> occurcheck = new HashSet<>(eq0);
 			occurcheck.removeAll(eq0Prime);
 			ocurrPairs = occurcheck.stream().filter(x -> {
@@ -386,6 +387,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				ret.add(ocurrPairs);
 				return ret;
 			}
+			/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ENDE */
 			eqSubst = rules.subst(eq0, oderConstraints);	
 		} while (eqSubst.isPresent());