Added benchmark programs to test cases of bound analyzer.