diff --git a/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
index d86ebdd8..c4de888d 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
@@ -20,7 +20,7 @@ public interface IRuleSet {
 	public Optional<MPair> reduceWildcardLowRight(MPair pair);
 	public Optional<MPair> reduceWildcardUp(MPair pair);
 	public Optional<MPair> reduceWildcardUpRight(MPair pair);
-	public Optional<MPair> reduceWildCardLowUp(MPair pair);
+	public Optional<MPair> reduceWildcardLowUp(MPair pair);
 	public Optional<MPair> reduceWildcardUpLow(MPair pair);
 	public Optional<MPair> reduceWildcardLeft(MPair pair);
 	
diff --git a/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java b/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
index 11138a47..52239af4 100644
--- a/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
@@ -613,7 +613,7 @@ public class RuleSet implements IRuleSet{
 	}
 
 	@Override
-	public Optional<MPair> reduceWildCardLowUp(MPair pair) {
+	public Optional<MPair> reduceWildcardLowUp(MPair pair) {
 		if(pair.getPairOp() != PairOperator.SMALLERDOTWC)
 			return Optional.empty();
 		
diff --git a/src/de/dhbwstuttgart/typeinference/unifynew/Unify.java b/src/de/dhbwstuttgart/typeinference/unifynew/Unify.java
index ae702fba..6e6fe376 100644
--- a/src/de/dhbwstuttgart/typeinference/unifynew/Unify.java
+++ b/src/de/dhbwstuttgart/typeinference/unifynew/Unify.java
@@ -178,6 +178,13 @@ public class Unify {
 			Optional<MPair> opt = rules.reduceUpLow(pair);
 			opt = opt.isPresent() ? opt : rules.reduceLow(pair);
 			opt = opt.isPresent() ? opt : rules.reduceUp(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardLow(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardLowRight(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardUp(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardUpRight(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardLowUp(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardUpLow(pair);
+			opt = opt.isPresent() ? opt : rules.reduceWildcardLeft(pair);
 			
 			// One of the rules has been applied
 			if(opt.isPresent()) {