generalized the BiDiInterproceduralCFG interface