Dependency Graph for avispa-lattices 3.0.6