Example: Critical-Race-Free State Assignment
a 00 00 00 10 01 0 0 - 0v
b 01 00 01 01 01 0u 0 0 0
? In col. 01, row C, 10-ᡃ-ᠹ: critical race avoided
? In col 10, could have directed transition via row d but already have transition to b in row a, so use it.
? Fill in outputs corresponding to unstable states to avoid momentary false outputs during transitions