diff --git a/test/unify/FiniteClosureTest.java b/test/unify/FiniteClosureTest.java
index f6dff401..0ad0a107 100644
--- a/test/unify/FiniteClosureTest.java
+++ b/test/unify/FiniteClosureTest.java
@@ -693,40 +693,4 @@ public class FiniteClosureTest {
 		actual = fc.greater(funNNumber);
 		Assert.assertEquals(expectedResult, actual);
 	}
-	
-	@Test
-	public void testGrArg() {
-		IFiniteClosure fc = new FiniteClosureBuilder().getCollectionExample();
-		TypeFactory tf = new TypeFactory();
-		
-		System.out.println("\n\n----- GrArg Test -----");
-		System.out.println("GrArg(List<T>) = " + fc.grArg(tf.getSimpleType("List", "T")));
-		System.out.println("GrArg(? extends List<T>) = " + fc.grArg(tf.getExtendsType(tf.getSimpleType("List", "T"))));
-		System.out.println("GrArg(? super List<T>) = " + fc.grArg(tf.getSuperType(tf.getSimpleType("List", "T"))));
-	}
-	
-	
-	@Test
-	public void testSmArg() {
-		IFiniteClosure fc = new FiniteClosureBuilder().getCollectionExample();
-		TypeFactory tf = new TypeFactory();
-		
-		System.out.println("\n\n----- SmArg Test -----");
-		System.out.println("SmArg(List<T>) = " + fc.smArg(tf.getSimpleType("List", "T")));
-		System.out.println("SmArg(? extends List<T>) = " + fc.smArg(tf.getExtendsType(tf.getSimpleType("List", "T"))));
-		System.out.println("SmArg(? super List<T>) = " + fc.smArg(tf.getSuperType(tf.getSimpleType("List", "T"))));
-	}
-	
-	@Test
-	public void testGetGenericType() {
-		// TODO
-	}
-	
-	private void printDiff(Set<UnifyType> expected, Set<UnifyType> actual) {
-		System.out.println("Diff:");
-	    System.out.println("In expected but not in actual:");
-	    Set<UnifyType> expected1 = new HashSet<>(expected);
-	    expected1.removeAll(actual);
-	    System.out.println(expected1);
-	}
 }