Tests TxState handling of the various getConstrains() methods