/chapter-interprocedural-sccp/src/main/java/com/seaofnodes/