CDA: implement ICFG with PTA
CDA: implement ICFG with PTA

Build interprocedural CFG with the help of points-to analysis
for resolving function pointer calls.

mchalupa/dg,mchalupa/dg,mchalupa/dg,mchalupa/dg