...
If some transaction is considered invalid during stateful validation it is removed from the transaction queue completely. All transactions from the same block that depend on removed transactions should be removed from the `ready_txs` collection and moved back to the `waiting_txs` (assuming they do not have enough `requires` tags anymore). Removed invalid transactions should not provide any tags after removal from the queue.
...