verifier of atomicity: Class AtomicityVerifier