Moved dependency graph search method to izverifier.