fixed minor bug in nfa-2-string-set.stlx concerning identification of accepting states