https://software-engineering-topic.blogspot.com/2022/12/control-flow-graph-cfg-notations-used.html