Fix previous.  This uses sameMutVar# NOT pointer equality and it passes tests.