[FIX] special case for interprocedural when a single function or multiple ones but all disconnected in the call graph.
[FIX] special case for interprocedural when a single function or multiple ones but all disconnected in the call graph.

seahorn/crab,caballa/crab,seahorn/crab