1 files changed, 13 insertions, 9 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 55b37f13..c20798b2 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1794,6 +1794,16 @@ namespace Microsoft.Boogie {
       this.OutParams = that.OutParams;
     }
 
+    public string Checksum
+    {
+      get
+      {
+        return FindStringAttribute("checksum");
+      }
+    }
+
+    public string DependenciesChecksum { get; set; }
+
     protected void EmitSignature(TokenTextWriter stream, bool shortRet) {
       Contract.Requires(stream != null);
       Type.EmitOptionalTypeParams(stream, TypeParameters);
@@ -1945,6 +1955,7 @@ namespace Microsoft.Boogie {
 
     // the body is only set if the function is declared with {:inline}
     public Expr Body;
+    public Axiom DefinitionAxiom;
     public bool doingExpansion;
 
     private bool neverTrigger;
@@ -2115,7 +2126,8 @@ namespace Microsoft.Boogie {
                              new Trigger(tok, true, new ExprSeq(call), null),
                              def);
       }
-      return new Axiom(tok, def);
+      DefinitionAxiom = new Axiom(tok, def);
+      return DefinitionAxiom;
     }
   }
 
@@ -2567,14 +2579,6 @@ namespace Microsoft.Boogie {
       }
     }
 
-    public string Checksum
-    {
-      get
-      {
-        return FindStringAttribute("checksum");
-      }
-    }
-
     public string Id
     {
       get