__print_stree
__print_stree(stree);
__print_stree(saved_implied_true);
__print_stree(saved_implied_false);
void __print_stree(struct stree *stree);
__print_stree(cur_stree);