Verifier complains about kept NoMem node.