Fix bug: when the inter-procedural analysis encounters recursive function calls, it should return immediately.