ivory-model-check: can't assume memareas will have their initial value....