OK, we fixed a design flaw that was forcing us to return different
results for the same pair of states depending on whether or not it
already exists in the no_table.