Use destination state's name, not ID.

Unless the ID *is* the name, of course!
Trivial: fix some whitespace in inclusive-or code.
Use less brittle representation in this unit test.