Fix witness generation by using join instead of union in HoareDomain.MapBot
Fix witness generation by using join instead of union in HoareDomain.MapBot

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