Each state is thus associated with a distinct single prefix, and each must be reachable from the same set of previous states as the original state.
for each new state, any arc that already has the original state as its destination state must be copied, and the new arc assigned the new destination state and weight, depending on the prefix associated with the new state (lines 26-30).