avl_lookup_node
AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm);
#define avl_member(avl, sm) (!!avl_lookup_node(avl, sm))