Take LUB of A_{<e} and A_{>e} when writing to an unkown location only when theya re not \bot (i.e. known to be empty because of the way the array is partitioned)
Take LUB of A_{<e} and A_{>e} when writing to an unkown location only when theya re not \bot (i.e. known to be empty because of the way the array is partitioned)

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer