diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java b/src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
index 6aa0e7d8..7da91d42 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
@@ -48,7 +48,7 @@ public class OrderingUnifyPair extends Ordering<Set<UnifyPair>> {
 			hs.add(up);
 			Set<UnifyPair> greaterRes = unifyTask.applyTypeUnificationRules(hs, fc);
 			long greaterLen = greaterRes.stream().filter(x -> !(x.getLhsType() instanceof PlaceholderType && x.getRhsType() instanceof PlaceholderType)).count();
-			if (greaterLen == 0) return new Pair<>(1, smallerRes);
+			if (greaterLen == 0) return new Pair<>(1, greaterRes);
 			else return new Pair<>(0, new HashSet<>());
 		}	
 	}
@@ -65,6 +65,7 @@ public class OrderingUnifyPair extends Ordering<Set<UnifyPair>> {
 			else return si.get();
 		}
 		else {
+			//TODO 2018-03-02: hier muessen mehree =. eingefuegt werden und alle weiteren Faelle pruefen
 			Optional<UnifyPair> lseq = left.stream()
 					.filter(x -> (x.getLhsType() instanceof PlaceholderType && x.getPairOp() == PairOperator.EQUALSDOT)).findFirst();
 			Optional<UnifyPair> rseq = right.stream()