TxEngine: add some tests