Renames methods in TxState for clarity

o Introduce UpdateTriState to replace usage of Boolean