interproceduralCFG() in DefaultIFDSTabulationProblem.java can now be overwritten for implementations that know that they always use a special type of icfg and this want to provide a shortcut for obtaining it
Merge branch 'develop' of https://github.com/Sable/heros into develop