I think that the tokens that should be burned simply will not be emitted.
I can assume that you are right. I heard about this algorithm in other projects, it is quite convenient.
This is a simpler and more effective solution. It is much easier to limit the emission of tokens than to burn extra.