Added the range constraint to propagate the bounds for the return value
of function.