w3c-ecma/test533: test that an internal transition whose source state is not compound does  exit its source state
w3c-ecma/test533: test that an internal transition whose source state is not compound does  exit its source state

jbeard4/SCION-CORE