https://github.com/jbeard4/SCION/blob/issue-285/lib/compiler/static-analysis/scxml-analyzer.js#L151-L168