Tags and aggregators to store and combine information about array bounds and null pointer checks.