Callgraph: Path-sensitivity

[jubnzv]

The existing callgraph implementation maps function definition IDs to CGNodes containing connectivity information. It would be beneficial to extend the key of the map with a structure describing the context of the call (at least the statement/position in the data flow). This extension will enable us to implement path-sensitive interprocedural analyses (e.g., k-CFA taint analysis).