__client_unmatched_state_function
struct smatch_state *__client_unmatched_state_function(struct sm_state *sm);
tmp_state = __client_unmatched_state_function(one_iter.sm);
tmp_state = __client_unmatched_state_function(two_iter.sm);