change CICFG to extend IntraCFG (instead of InterCFG) and use InterCFG as a helper to resolve function calls. This has the advantage that call-edges no longer pollutes the CFG abd exit-nodes can be clearly identifed