Update the test cases of Bound analyzer.