diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java
index 364409d..e4254fe 100644
--- a/src/test/java/UnifyTest.java
+++ b/src/test/java/UnifyTest.java
@@ -547,6 +547,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<>();
@@ -740,11 +741,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);
 
@@ -754,11 +757,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);
 
@@ -1475,6 +1480,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);