Dependency Graph for logical-unification 0.3.2