change NuSMVBackendTest.testMemory to expose width inference bug