refactoring code to reduce code cloning in dataflow analyses
first version of checking non-void function for missing return statements in control flow
wip