Added forgotten @library on functions names.

library/leon/lang/StaticChecks.scala

@@ -6,6 +6,7 @@ import scala.language.implicitConversions
 object StaticChecks {
 
   case class Ensuring[A](x: A) {
+    @library
     def ensuring(cond: (A) => Boolean): A = x
   }
 

library/leon/webDSL/webDescription/WebPage.scala

@@ -10,6 +10,7 @@ case class StyleRule(target: String, rules: List[WebStyle])
 
 @library
 case class StyleSheet(elems: List[StyleRule]) {
+  @library
   def apply(l: List[StyleRule]): StyleSheet = {
     StyleSheet(elems ++ l)
   }
@@ -23,7 +24,8 @@ case class StyleSheet(elems: List[StyleRule]) {
   }
 }
 
-object WebPage { 
+object WebPage {
+  @library
   def apply(main: WebElement): WebPage = {
     WebPage(main, StyleSheet(Nil()))
   }

library/leon/webDSL/webDescription/package.scala

@@ -4,6 +4,7 @@ import leon.lang._
 import leon.annotation._
 
 package object webDescription {
+  @library
   val Style = StyleSheet(Nil())
   
   @library