Computing function closure for inter-procedural call graph navigation.