Fix privatization unsoundness without threadflag
Fix privatization unsoundness without threadflag

Happened in sv-benchmarks/c/systemc/pipeline.cil-1.

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