make file handle regression tests work with update_suite.rb
variable dependency and important variable analysis
forked the base analysis to do some highly experimental stuff
non-monotonic, demand-driven base analysis
Towards a Transformative Hermeneutics of Quantum Informatics
make writes through pointers important
extract CFG edges for arinc calls