1) it doesn't behave like the default: it sets a tv, which the default does not do.
2) the first solution found is ... hacky.

In the long run, we'll need something that cuts off search much earlier, during node or link or clause matches, if a grand-total tv or av gets too low.