Valentin Perrelle authored 1 year ago and David Bühler committed 9 months ago

- for imprecise.i, the equality domain does not keep an equality with
  sizeof since the sizeof is now normalized to it's constant equivalent;
  the dependency to a variable of an incomplete type disapear
- for the other tests only the order of string bases changes