FakeEdge is a tuple of (Callsite address, Call target address). This is to uniquely identify edges from a call instruction to a fake block. Note that even though there are multiple calls to the same outer function, each of the callsites should be connected to an independent fake block. That's the reason why we use FakeEdge to distinguish them.