Right now you can only run the satisfier on the entire taptree. With the Iterator being available to iterate and filter on leafs of interest, I would like to be able to satisfy a chosen specific leaf or set of leaves.
We discussed potentially modifying this function: https://github.com/apoelstra/rust-miniscript/blob/b68bf1354af83f2ebe473ef28b09f461f546a804/src/descriptor/tr.rs#L684