get rid of cpp's `-Wmacro-redefined` by using `#undef` first
get rid of cpp's `-Wmacro-redefined` by using `#undef` first

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