Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago

- fixed incorrect assigns
- imprecise but correct handling of allocates
- handling imprecise assigns on sub parts of a base
- always normalize the domain by removing tops when updating the map