diff --git a/benchmarks/CLEVER/LoopUnreach15/Neq/newV.java b/benchmarks/CLEVER/LoopUnreach15/Neq/newV.java
index 46bc69ce..c439d757 100644
--- a/benchmarks/CLEVER/LoopUnreach15/Neq/newV.java
+++ b/benchmarks/CLEVER/LoopUnreach15/Neq/newV.java
@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.LoopUnreach5.Neq;
+package benchmarks.CLEVER.LoopUnreach15.Neq;
 public class newV {
 	private int foo(int a, int b) {
 		int c=1;
@@ -13,4 +13,4 @@ public int main(int x) {
 			return foo(x,15);
 		return 0;
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/CLEVER/getSign2/Neq/newV.java b/benchmarks/CLEVER/getSign2/Neq/newV.java
index 8567d02b..fa903c2f 100644
--- a/benchmarks/CLEVER/getSign2/Neq/newV.java
+++ b/benchmarks/CLEVER/getSign2/Neq/newV.java
@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.getSign2.Eq;
+package benchmarks.CLEVER.getSign2.Neq;
 public class newV {
 	private int lib(int x) {
 		if (x <= 0)
@@ -9,4 +9,4 @@ private int lib(int x) {
 	public int client(int x){
 		return lib(x);
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/CLEVER/is_prime1/Neq/newV.java b/benchmarks/CLEVER/is_prime1/Neq/newV.java
index f74f8d99..07704abe 100644
--- a/benchmarks/CLEVER/is_prime1/Neq/newV.java
+++ b/benchmarks/CLEVER/is_prime1/Neq/newV.java
@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.is_prime1.Eq;
+package benchmarks.CLEVER.is_prime1.Neq;
 public class newV {
 	int NUMPRIMES = 8;
 	int[] primes = { 2, 3, 5, 7, 11, 13, 17, 19 };
@@ -20,4 +20,4 @@ public boolean client(int x) {
 		  }
 		  return lib(x,1);
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/CLEVER/is_prime1/Neq/oldV.java b/benchmarks/CLEVER/is_prime1/Neq/oldV.java
index 6717f80c..9ac75f71 100644
--- a/benchmarks/CLEVER/is_prime1/Neq/oldV.java
+++ b/benchmarks/CLEVER/is_prime1/Neq/oldV.java
@@ -1,4 +1,4 @@
-package benchmarks.CLEVER.is_prime1.Eq;
+package benchmarks.CLEVER.is_prime1.Neq;
 public class oldV {
 	int NUMPRIMES = 8;
 	int[] primes = { 2, 3, 5, 7, 11, 13, 17, 19 };
@@ -20,4 +20,4 @@ public boolean client(int x) {
 		  }
 		  return lib(x,1);
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/REVE/ackermann/Neq/oldV.java b/benchmarks/REVE/ackermann/Neq/oldV.java
index aa31279e..167a11b0 100644
--- a/benchmarks/REVE/ackermann/Neq/oldV.java
+++ b/benchmarks/REVE/ackermann/Neq/oldV.java
@@ -1,5 +1,5 @@
 package benchmarks.REVE.ackermann.Neq;
-public class newV {
+public class oldV {
 	int f(int m, int n) {
 		int r;
 		int x;
@@ -16,4 +16,4 @@ int f(int m, int n) {
 		}}
 		return r;
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/REVE/barthe/Neq/newV.java b/benchmarks/REVE/barthe/Neq/newV.java
index ac4eff24..68c80068 100644
--- a/benchmarks/REVE/barthe/Neq/newV.java
+++ b/benchmarks/REVE/barthe/Neq/newV.java
@@ -1,4 +1,4 @@
-package benchmarks.REVE.barthe.Eq;
+package benchmarks.REVE.barthe.Neq;
 public class newV {
 	int f(int n, int c) {
 		int i;
@@ -17,4 +17,4 @@ int f(int n, int c) {
 		}
 		return x;
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/REVE/barthe/Neq/oldV.java b/benchmarks/REVE/barthe/Neq/oldV.java
index 58a5da3e..a33f7da2 100644
--- a/benchmarks/REVE/barthe/Neq/oldV.java
+++ b/benchmarks/REVE/barthe/Neq/oldV.java
@@ -1,4 +1,4 @@
-package benchmarks.REVE.barthe.Eq;
+package benchmarks.REVE.barthe.Neq;
 public class oldV {
 	int f(int n, int c) {
 		int i;
@@ -14,4 +14,4 @@ int f(int n, int c) {
 		}
 		return x;
 	}
-}
\ No newline at end of file
+}
diff --git a/benchmarks/ran/ranwo/Eq/C-Desc.json b/benchmarks/ran/rantwo/Eq/C-Desc.json
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/C-Desc.json
rename to benchmarks/ran/rantwo/Eq/C-Desc.json
diff --git a/benchmarks/ran/ranwo/Eq/J-Desc.json b/benchmarks/ran/rantwo/Eq/J-Desc.json
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/J-Desc.json
rename to benchmarks/ran/rantwo/Eq/J-Desc.json
diff --git a/benchmarks/ran/ranwo/Eq/newV.c b/benchmarks/ran/rantwo/Eq/newV.c
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/newV.c
rename to benchmarks/ran/rantwo/Eq/newV.c
diff --git a/benchmarks/ran/ranwo/Eq/newV.java b/benchmarks/ran/rantwo/Eq/newV.java
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/newV.java
rename to benchmarks/ran/rantwo/Eq/newV.java
diff --git a/benchmarks/ran/ranwo/Eq/oldV.c b/benchmarks/ran/rantwo/Eq/oldV.c
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/oldV.c
rename to benchmarks/ran/rantwo/Eq/oldV.c
diff --git a/benchmarks/ran/ranwo/Eq/oldV.java b/benchmarks/ran/rantwo/Eq/oldV.java
similarity index 100%
rename from benchmarks/ran/ranwo/Eq/oldV.java
rename to benchmarks/ran/rantwo/Eq/oldV.java
diff --git a/benchmarks/ran/ranwo/Neq/C-Desc.json b/benchmarks/ran/rantwo/Neq/C-Desc.json
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/C-Desc.json
rename to benchmarks/ran/rantwo/Neq/C-Desc.json
diff --git a/benchmarks/ran/ranwo/Neq/J-Desc.json b/benchmarks/ran/rantwo/Neq/J-Desc.json
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/J-Desc.json
rename to benchmarks/ran/rantwo/Neq/J-Desc.json
diff --git a/benchmarks/ran/ranwo/Neq/newV.c b/benchmarks/ran/rantwo/Neq/newV.c
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/newV.c
rename to benchmarks/ran/rantwo/Neq/newV.c
diff --git a/benchmarks/ran/ranwo/Neq/newV.java b/benchmarks/ran/rantwo/Neq/newV.java
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/newV.java
rename to benchmarks/ran/rantwo/Neq/newV.java
diff --git a/benchmarks/ran/ranwo/Neq/oldV.c b/benchmarks/ran/rantwo/Neq/oldV.c
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/oldV.c
rename to benchmarks/ran/rantwo/Neq/oldV.c
diff --git a/benchmarks/ran/ranwo/Neq/oldV.java b/benchmarks/ran/rantwo/Neq/oldV.java
similarity index 100%
rename from benchmarks/ran/ranwo/Neq/oldV.java
rename to benchmarks/ran/rantwo/Neq/oldV.java