seperate the intra- and inter-procedural analysis and decouple the states; a bunch of TODOs