Add unionOfBoundsMap to store the union of bounds for each function.