Dependency Graph for microkit 1.2