Lengauer-Tarjan algorithm for working with control-flow graphs, in Haskell: (performant but inelegant) https://codeberg.org/vmchale/apple/src/branch/canon/src/Dom.hs