introduce option for call graph in addition to CFG (no implementation added yet)
refactoring for readability
normalize whitespace
documenting types more explicitly and renaming CFG -> SuccessorList
refactoring for readability