Added the bound inference method in analyzer to iterate over all blocks
and infer the bounds for each block. Currently the fixed number of
iteration is used to terminate the bound inference algorithm. Hopefully,
the earlier termination could be implemented (a little complicated at
this stage).