https://9dok.net/document/zpnm4o2r-visualization-of-java-control-flow-graphs.html