https://123dok.net/document/z1drkd33-data-flow-coverage-for-circus-based-testing.html