Added execution time profiling of finishAnalysis in Interpreter/Execution.cpp