This is super interesting, and I've definitely wondered how control flow "graph schemas" are applied in decompilation.

[EDIT: Removed a comment about an apparent OCR issue, which has been fixed. Thanks for this great write-up!]