Remove the use of Hashmap to store the union of bounds for each function
because the bounds analyzer currently has no needs to keep track of
those bounds (perhaps the hashmap will be needed at the later
development).