These functions should not appear in reports

library/lang/Map.scala

@@ -2,6 +2,7 @@ package leon.lang
 import leon.annotation._
 
 object Map {
+  @library
   def empty[A,B] = Map[A,B]()
 }
 

library/lang/Set.scala

@@ -2,6 +2,7 @@ package leon.lang
 import leon.annotation._
 
 object Set {
+  @library
   def empty[T] = Set[T]()
 }