use list.h
add state_add_branch()
branck -> branch
add state_renew_branch()
update fsm_init_with_state()