CPUStateAccessAnalysisPass can now run lazily and accumulate partial results. Actual fixes to the accesses to the CPU State (to make them explicit) are only applied when the analysis is run in non-lazy mode.