Implemented the bound analysis on the function call. This is also
experimental.