Dependency Graph for while-lang 0.5