too_many_possible
if (too_many_possible(sm))
if (too_many_possible(to))
int too_many_possible(struct sm_state *sm);