Two pass analysis framework: AST merging approach

Manuel,

Yes, you're right with "one large glob" approach which may be non-suitable for analysis of a whole big program. However, in CSA we're not going to build an AST for the entire program since our analysis depth is limited. We just merging a limited amount of declarations to the current AST so its growth is not too big.