Dependency Graph for logical-unification 0.4.2