Added support to propagate upper bounds to program points in loops