See the added README for in-depth details
Test that show our failure handling in CallGraph works as expected.