#include "core/aux/graphs_trees_depth.lp".

graphs_node(a; b; c).
graphs_tree_depends(b,a).
graphs_tree_depends(b,c).
graphs_tree_depends(c,b).

#show graphs_tree_depth/2.