There is a close connection between data-flow analysis and model checking as observed and studied in the nineties by Steffen and Schmidt. This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking can be applied as data-flow analyzers that interpret complex control structures. which motivates the development of such analysis techniqu... https://www.roneverhart.com/Craggy-Range-Sauvignon-Blanc-Te-Muna-Road-Vineyard-Martinborough-2022/