value
tests :: (EraGen era, EraStake era, ChainProperty era, BaseM (EraRule "LEDGER"
era) ~ ShelleyBase, HasTrace (CHAIN era) (GenEnv MockCrypto era), State (EraRule "LEDGER"
era) ~ LedgerState era, Environment (EraRule "LEDGER"
era) ~ LedgerEnv era, Signal (EraRule "LEDGER"
era) ~ StAnnTx TopTx era, ApplyTx era, STS (EraRule "LEDGER"
era)) => TestTreeTx inputs are eliminated, outputs added to utxo and TxIds are unique