Tendermint replaces the "beset header" with a lower-scoring header.

[majecty]

Tendermint replaces the "best header" and the "best block" if all pre-commits are collected. However, it should not replace the "best header" if the original "best header" has a higher block number.

[sgkim126]

Let's close it if there is no remaining issue.