Updated the description about the unit tests of bound analyzer.