diff --git a/test/javFiles/Matrix.jav b/test/javFiles/Matrix.jav
index f9a69ec5..ad8d735e 100644
--- a/test/javFiles/Matrix.jav
+++ b/test/javFiles/Matrix.jav
@@ -17,9 +17,9 @@ class Matrix extends Vector<Vector<Integer>> {
                 var erg = 0;
                 var k = 0;
                 while(k < v1.size()) {
-                		erg = erg + v1.elementAt(k) * m.elementAt(k).elementAt(j);
-                    //erg = add1(erg, mul1(v1.elementAt(k),
-                    //         m.elementAt(k).elementAt(j)));
+                		//erg = erg + v1.elementAt(k) * m.elementAt(k).elementAt(j);
+                    erg = add1(erg, mul1(v1.elementAt(k),
+                             m.elementAt(k).elementAt(j)));
                     k++; }
                 v2.addElement(new Integer(erg));
                 j++; }
diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java
index 8e829163..c3eca27d 100644
--- a/test/typeinference/UnifyTest.java
+++ b/test/typeinference/UnifyTest.java
@@ -28,12 +28,12 @@ public class UnifyTest {
     public void finiteClosure() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"fc.jav"));
     }
- */
+
     @Test
     public void lambda() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"LambdaField.jav"));
     }
-/*
+
     @Test
     public void lambda2() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Lambda2.jav"));
@@ -60,14 +60,14 @@ public class UnifyTest {
     public void facultyTyped() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"FacultyTyped.jav"));
     }
-
+ */
     @Test
     public void matrix() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Matrix.jav"));
     		//JavaTXCompiler compiler = new JavaTXCompiler(new File(rootDirectory+"Matrix.jav"));
     		//compiler.generateBytecode();
     }
-    
+/*    
     @Test
     public void vector() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Vector.jav"));