diff --git a/testcases/repair/Heap/Heap.scala b/testcases/repair/Heap/Heap.scala
index 46be0f31a1a0855d31ed4b0ec929aa3d7cb5a49a..547a11456a7814abaab17661b4948d4723bc50ef 100644
--- a/testcases/repair/Heap/Heap.scala
+++ b/testcases/repair/Heap/Heap.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap1.scala b/testcases/repair/Heap/Heap1.scala
index 61ec4ac0fb67a268daab399c43036270054b695e..39c1ee2048c56b5946b8e6ce116b5702e8e6c927 100644
--- a/testcases/repair/Heap/Heap1.scala
+++ b/testcases/repair/Heap/Heap1.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap10.scala b/testcases/repair/Heap/Heap10.scala
index 6847ed8cd4635d58ee259c03f60de701703a2266..25e966e41c645e0e7d690eeecad41da54d6c9eff 100644
--- a/testcases/repair/Heap/Heap10.scala
+++ b/testcases/repair/Heap/Heap10.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap2.scala b/testcases/repair/Heap/Heap2.scala
index 914fb0971f6ee70f3362eb45d1dab82d26d4a6ba..c97a9dd52c98a16f15c60bce77e2016c8b1c1044 100644
--- a/testcases/repair/Heap/Heap2.scala
+++ b/testcases/repair/Heap/Heap2.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap3.scala b/testcases/repair/Heap/Heap3.scala
index 2adde538b7c8a303865ab5532f64510fbbdfdb9c..71445ba971b5f0a8711dfcd07c4d7d15339d1a47 100644
--- a/testcases/repair/Heap/Heap3.scala
+++ b/testcases/repair/Heap/Heap3.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap4.scala b/testcases/repair/Heap/Heap4.scala
index ff78b370006c55798e74a13712fa921cf2b79e95..51cdb228b7908393db9fdeeb08e8eadd7003d474 100644
--- a/testcases/repair/Heap/Heap4.scala
+++ b/testcases/repair/Heap/Heap4.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap5.scala b/testcases/repair/Heap/Heap5.scala
index 17777f85c6662c35cb61465253c350957f8fdbb5..bc1f1678041cbe5155c7359e30fe98ca1e0eee6d 100644
--- a/testcases/repair/Heap/Heap5.scala
+++ b/testcases/repair/Heap/Heap5.scala
@@ -7,8 +7,8 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
- 
+object Heaps {
+   
   sealed abstract class Heap {
     val rank : Int = this match {
       case Leaf() => 0
diff --git a/testcases/repair/Heap/Heap6.scala b/testcases/repair/Heap/Heap6.scala
index a434b70c85cb3e94d103b7f7229db786898a4caf..2fe845f164cffbe3ca040736d0e28b6fb7ee0ac5 100644
--- a/testcases/repair/Heap/Heap6.scala
+++ b/testcases/repair/Heap/Heap6.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap7.scala b/testcases/repair/Heap/Heap7.scala
index 9de2a20b68be2e7df30435bb8922bd4e42552f85..3fdc9060847939d8069d7e7f3434c60d31bb4dfd 100644
--- a/testcases/repair/Heap/Heap7.scala
+++ b/testcases/repair/Heap/Heap7.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap8.scala b/testcases/repair/Heap/Heap8.scala
index 6ee493600578e8d179baeea2c21b81cc2f8b4949..4816b219f9b1f6a1e6f3839b5f566c74136d1651 100644
--- a/testcases/repair/Heap/Heap8.scala
+++ b/testcases/repair/Heap/Heap8.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap9.scala b/testcases/repair/Heap/Heap9.scala
index 55520379ebb4473658818c7694abf4611971b059..649f67a3f0189d710d0500aac7c4e86ffbfc82d7 100644
--- a/testcases/repair/Heap/Heap9.scala
+++ b/testcases/repair/Heap/Heap9.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {