add hasO test for MemoryModel