Evaluator: ((tx: Transaction, additionalUtxos: TransactionUnspentOutput[]) => Promise<Redeemers>)