diff --git a/base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java b/base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java
index c3f86e873..623c040a3 100644
--- a/base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java
+++ b/base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java
@@ -9,6 +9,10 @@ public abstract class BaseCallGraph<T> {
   BaseCallGraph() {
   }
 
+  public HashMap<T, HashMap<T, HashSet<BaseCallMatrix<T>>>> getGraph() {
+    return myGraph;
+  }
+
   public void add(Set<BaseCallMatrix<T>> set) {
     for (BaseCallMatrix<T> cm : set) {
       append(cm, myGraph);