Closed
Description
Test tn004 seems to rely on nesting keys being processed in lexicographic order. However, Expansion step 14 does not specify any order on the iteration:
For each key
nesting-key
innests
I believe this should instead be:
For each key
nesting-key
innests
ordered lexicographically