Option.get in Leon library

library/Option.scala

@@ -6,6 +6,14 @@ import leon.annotation._
 
 @library
 sealed abstract class Option[T] {
+
+  def get : T = {
+    require(this.isDefined)
+    this match {
+      case Some(x) => x
+    }
+  }
+
   def getOrElse(default: T) = this match {
     case Some(v) => v
     case None()  => default