diff --git a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
index c8222a620..39ea0effc 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
@@ -689,9 +689,11 @@ public class RuleSet implements IRuleSet{
 
 	@Override
 	public Optional<Set<UnifyPair>> reduceFunN(UnifyPair pair) {
-		//if(pair.getPairOp() != PairOperator.SMALLERDOT) //PL 2017-10-03 auskommentiert, 
-		                                                  //da Regel auch fuer EQUALSDOT anwendbar 
-		//	return Optional.empty();
+		if((pair.getPairOp() != PairOperator.SMALLERDOT)  
+		  && (pair.getPairOp() != PairOperator.EQUALSDOT))     //PL 2017-10-03 hinzugefuegt  
+		                                                       //da Regel auch fuer EQUALSDOT anwendbar 
+			                                                   //TODO: fuer allen anderen Relationen noch pruefen
+			return Optional.empty();
 		
 		UnifyType lhsType = pair.getLhsType();
 		UnifyType rhsType = pair.getRhsType();