Analyse: Indirect invocation detection improved. All call test cases in
the accuracy test are detected now.