Symbol: do_timing_analysis