Added atomicity analysis.