@SuppressWarnings("unused")
  public void run() throws UnsoundGraphException {
    Set<CGNode> allCalled = findAllCalledMethods(cg.getEntrypointNodes());

    for (CGNode method : allCalled) {
      IMethod im = method.getMethod();
      if (!im.isNative() && !im.isAbstract() && !im.isSynthetic()) {
        ControlFlowGraph<SSAInstruction, IExplodedBasicBlock> cfg = getPruned(method, null);
      }
    }
  }