states: rename __print_cur_slist() to __print_cur_stree()