Merge "Introduce a SideEffectsAnalysis class."