get_stree_id
int get_stree_id(struct stree *stree);
sm_printf("(%d: %s->'%s')", get_stree_id(sm->left->pool), sm->left->name, sm->left->state->name);
sm_printf("(%d: %s->'%s')", get_stree_id(sm->right->pool), sm->right->name, sm->right->state->name);
get_stree_id(sm->pool));
get_stree_id(sm->pool));
get_stree_id(sm->pool));
sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
show_sm(sm), sm->merged ? "(merged) ": "", get_stree_id(sm->pool));
sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
get_stree_id(sm->pool), sm->line);
sm->left ? get_stree_id(sm->left->pool) : -1);
sm->right ? get_stree_id(sm->right->pool) : -1);