KeyedSemElemSet: introduce an iterator for iterating over all guard/weight pairs
New CreateKeyedSet WFA determinize weight gen class