Sort out staticAnalysis for AggregateBlocks.