TxMaker: add more failing tests