w3c-ecma/test570: test that we generate done.state.id when all a parallel state's children are in final states
w3c-ecma/test570: test that we generate done.state.id when all a parallel state's children are in final states

jbeard4/SCION-CORE