diff --git a/Equivalent mutations/Mutants/BST_no_parent.java b/Equivalent mutations/Mutants/BST_no_parent.java
index e5d8c9e568de67abf7709eb06920ef73e5b7318b..da3dfe30b44a42c1d28201f0750d541aa2fac228 100644
--- a/Equivalent mutations/Mutants/BST_no_parent.java	
+++ b/Equivalent mutations/Mutants/BST_no_parent.java	
@@ -32,33 +32,32 @@ class Tree
     }
     public void Insert(int id)
     {
-            Node newNode = new Node();
-            newNode.item = id;
-            if (this.root == null)
-                this.root = newNode;
-            else
+        Node newNode = new Node();
+        newNode.item = id;
+        if (this.root == null)
+            this.root = newNode;
+        else
+        {
+            Node current = this.root;
+            while (true)
             {
-                Node current = this.root;
-                while (true)
+                if (id < current.item)
                 {
-                    if (id < current.item)
+                    if (current.leftc == null)
                     {
-                        if (current.leftc == null)
-                        {
-                            current.leftc = newNode;
-                            return;
-                        }
-                        current = current.leftc;   
+                        current.leftc = newNode;
+                        return;
                     }
-                    else
+                    current = current.leftc;   
+                }
+                else
+                {
+                    if (current.rightc == null)
                     {
-                        if (current.rightc == null)
-                        {
-                            current.rightc = newNode;
-                            return;
-                        }
-                        current = current.rightc;
+                        current.rightc = newNode;
+                        return;
                     }
+                    current = current.rightc;
                 }
             }
         }
diff --git a/Equivalent mutations/Mutants/Stack_useless_property.java b/Equivalent mutations/Mutants/Stack_useless_property.java
index 5c871864f50449e6d29727f29fef68ee26f9a702..525c7c2005cf356a4083092926a465d9b7513606 100644
--- a/Equivalent mutations/Mutants/Stack_useless_property.java	
+++ b/Equivalent mutations/Mutants/Stack_useless_property.java	
@@ -70,7 +70,7 @@ class Program
         }
         public boolean isEmpty()
         {
-            if (top == -1) return true;
+            if (this.top == -1) return true;
  
             return false;
         }
diff --git a/Main.hs b/Main.hs
index 6ee33142029b86f77ec3a85bb8cd760a7bdc9e17..34ecfd979e3c5d457b99cb42245b147e7442aa6b 100644
--- a/Main.hs
+++ b/Main.hs
@@ -102,7 +102,7 @@ getPostCond t = case parser Language.Java.Parser.exp postCond' of
 -- Calculate the wlp (for testing purposes)
 calcWlp :: IO ()
 calcWlp = do
-    source <- readFile (joinPath ["Equivalent mutations", "stack.java"]) -- sourcePath
+    source <- readFile (joinPath ["Equivalent mutations", "mutants", "Stack_useless_property.java"]) -- sourcePath
     
     let result = parser compilationUnit source