Relax the constraint more in MemoryDependencyAnalysis.cpp