https://123dok.net/document/y962x6jw-equivalence-specific-control-flow-data-flow-patterns-cases.html