Some update about the bound analyzer.