Weak relaxing of the constraints on atomics in MemoryDependencyAnalysis