added a function to the BiDiInterproceduralCFG