Added test cases for the bound analysis on function call.