Cleaned up a particular kind of ugliness.
OK. Our program can officially distinguish between STAB and
TADB. Cleared up a really silly algorithmic bug, too.
Added another example that distinguishes between TADB and TAOB.