fix it so that at least the tests fail in a sensible way, showing us the
right list of exits that shouldn't exist
Add a little hack to Exit.

With this fix, spurious into/out-of exits don't appear everywhere; make
a bunch of tests pass.