let
get_kind n = (
Tree
.get_node_label n).kind