Fix SV-COMP atomics unsoundness in most new privatizations
Fix SV-COMP atomics unsoundness in most new privatizations

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