This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.