graphs_tree_depth(X, 0) :- not graphs_tree_depends(X, _); graphs_node(X).
graphs_tree_depth(X, LEVEL):- LEVEL = #max{L+1, graphs_tree_depth(Y, L): graphs_tree_depth(Y, L), graphs_tree_depends(X, Y)}; graphs_node(X); LEVEL > 0.