Fix interprocedurality of per-mutex privatization with \oplus
Fix interprocedurality of per-mutex privatization with \oplus

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