further support for intra-procedural analysis in 'Analysis 2'