Dependency Graph for bddsync 0.5.2