Dependency Graph for crnverifier 0.3