Added the test cases for bound analyzer.