fn extend_inits_with_legacy_utxo(utxo_decl: &UtxoDeclaration) -> Initial