Counting the occurrences of "old-new inversion"s in atomicity
verification (Class AtomicityVerifier).