Dependency Graph for logical-unification 0.4.5