add the analysis of runtime traces without inter-procedural analysis