https://123dok.net/document/y8g7oe10-fast-soundness-verification-of-workflow-graphs.html