Tested the bound analyzer with While and For test cases.