diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java
index 5c1829c..bcbd890 100644
--- a/src/test/java/UnifyTest.java
+++ b/src/test/java/UnifyTest.java
@@ -546,6 +546,7 @@ public class UnifyTest {
         //java.lang.Integer =. X
         type1 = new ReferenceType("java.lang.Integer");
         type2 = new PlaceholderType("X");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //java.lang.Float =. X
         constraint = new Constraint<>();
@@ -739,11 +740,13 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new PlaceholderType("D");
         type2 = new ReferenceType("java.lang.Integer");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //D =. java.lang.Float
         constraint = new Constraint<>();
         type1 = new PlaceholderType("D");
         type2 = new ReferenceType("java.lang.Float");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);
 
@@ -753,11 +756,13 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new PlaceholderType("F");
         type2 = new ReferenceType("java.lang.Float");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //F =. java.lang.Integer
         constraint = new Constraint<>();
         type1 = new PlaceholderType("F");
         type2 = new ReferenceType("java.lang.Integer");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);
 
@@ -1474,6 +1479,7 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new ReferenceType("Vector", new TypeParams(new PlaceholderType("ALD")));
         type2 = new ReferenceType("Vector", new TypeParams(new ReferenceType("java.lang.Integer")));
+        constraint.add(new UnifyPair(type1, type2, PairOperator.SMALLERDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);