diff --git a/reusablecfg/build.gradle b/reusablecfg/build.gradle
index c21bee876d211a46cb1eb4688573a08982edfcd8..4f876c97a4aa3723fac82c9a92673af2d99d2949 100644
--- a/reusablecfg/build.gradle
+++ b/reusablecfg/build.gradle
@@ -129,7 +129,7 @@ task preprocess(type: JavaExec) {
 
     args = [
             "../tools/relast.jar",
-            "src/main/jastadd/CFG.ast",
+            "src/main/jastadd/CFG.relast",
             "src/main/jastadd/ClassPathFilter.ast",
             "../extendj/java8/grammar/ConstructorReference.ast",
             "../extendj/java8/grammar/IntersectionCasts.ast",
@@ -163,7 +163,7 @@ task preprocess(type: JavaExec) {
     ]
 
     inputs.files file("../extendj/java8/grammar/ConstructorReference.ast"),
-            file("src/main/jastadd/CFG.ast"),
+            file("src/main/jastadd/CFG.relast"),
             file("src/main/jastadd/ClassPathFilter.ast"),
             file("../extendj/java8/grammar/IntersectionCasts.ast"),
             file("../extendj/java8/grammar/Lambda.ast"),
diff --git a/reusablecfg/src/main/jastadd/CFG.ast b/reusablecfg/src/main/jastadd/CFG.relast
similarity index 100%
rename from reusablecfg/src/main/jastadd/CFG.ast
rename to reusablecfg/src/main/jastadd/CFG.relast
diff --git a/reusablecfg/src/main/jastadd/SimpleCFG.jrag b/reusablecfg/src/main/jastadd/SimpleCFG.jrag
index 162622bb10fa429e861076736a12e726958f7378..bd39ef70271b801e0b1efc9e130a6426c9156321 100644
--- a/reusablecfg/src/main/jastadd/SimpleCFG.jrag
+++ b/reusablecfg/src/main/jastadd/SimpleCFG.jrag
@@ -59,106 +59,6 @@ aspect SimpleCFG {
 
   eq CfgMarker.successors() = succ();
 
-  /**
-   * Set that contains either one or two unique objects. The objects are
-   * compared with reference equality.
-   */
-  class IdentityTupleSet<E> implements Set<E> {
-    final E a, b;
-
-    public IdentityTupleSet(E a, E b) {
-      this.a = a;
-      this.b = b;
-    }
-
-    @Override
-    public boolean add(E e) {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public boolean addAll(Collection<? extends E> e) {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public void clear() {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public boolean contains(Object o) {
-      return o == a || o == b;
-    }
-    @Override
-    public boolean containsAll(Collection<?> c) {
-      for (Object o : c) {
-        if (!contains(o)) {
-          return false;
-        }
-      }
-      return true;
-    }
-    @Override
-    public int hashCode() {
-      return a.hashCode() + b.hashCode();
-    }
-    @Override
-    public boolean isEmpty() {
-      return false;
-    }
-    @Override
-    public Iterator<E> iterator() {
-      return new Iterator<E>() {
-        int index = 0;
-        @Override
-        public boolean hasNext() {
-          return (a == b && index < 1)
-              || (a != b && index < 2);
-        }
-        @Override
-        public E next() {
-          return ++index == 1 ? a : b;
-        }
-        @Override
-        public void remove() {
-          throw new UnsupportedOperationException();
-        }
-      };
-    }
-    @Override
-    public boolean remove(Object o) {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public boolean removeAll(Collection<?> c) {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public boolean retainAll(Collection<?> c) {
-      throw new UnsupportedOperationException();
-    }
-    @Override
-    public int size() {
-      return a == b ? 1 : 2;
-    }
-    @Override
-    public Object[] toArray() {
-      return new Object[] { a, b };
-    }
-    @Override
-    public <T> T[] toArray(T[] array) {
-      array[0] = (T) a;
-      array[1] = (T) b;
-      return array;
-    }
-    @Override
-    public String toString() {
-      if (a == b) {
-        return "[" + a + "]";
-      } else {
-        return "[" + a + ", " + b + "]";
-      }
-    }
-  }
-
   /** Successors to this branch node. */
   inh Set<? extends CfgNode> CfgBranch.succ();