__delete_all_states_sym
void __delete_all_states_sym(struct symbol *sym);
__delete_all_states_sym(sym);