diff --git a/src/purescala/Definitions.scala b/src/purescala/Definitions.scala
index 5ebcd9eb89fa4ef2d34b689615cd6ea210b06c8e..5aa535395f095d4477e3b0f83d5b4af385618b49 100644
--- a/src/purescala/Definitions.scala
+++ b/src/purescala/Definitions.scala
@@ -287,6 +287,11 @@ object Definitions {
     def hasPrecondition : Boolean = precondition.isDefined
     def hasPostcondition : Boolean = postcondition.isDefined
 
+    def getImplementation : Expr = body.get
+    def getBody : Expr = body.get
+    def getPrecondition : Expr = precondition.get
+    def getPostcondition : Expr = postcondition.get
+
     def allIdentifiers : Set[Identifier] = {
       args.map(_.id).toSet ++
       body.map(Trees.allIdentifiers(_)).getOrElse(Set[Identifier]()) ++