sip = dfas->hasharray + (hash_Set (dfas->st, *s) % dfas->hash);
for (si = *sip; si; si=si->link)
if (eq_Set (dfas->st, si->set, *s))
sip = dfas->hasharray + (hash_Set (dfas->st, *s) % dfas->hash);
for (si = *sip; si; si=si->link)
if (eq_Set (dfas->st, si->set, *s))