Add SHOULD_MEM_EQUAL