libcmd, focussing of txs-assert