Dependency Graph for ArithmeticKHM 0.6