stree_count
size_t stree_count(const struct stree *avl);
sm_msg("dumping stree [%ld states]", stree_count(stree));