Fix mutex_inits in branched thread creation with mutex-oplus priv
Fix mutex_inits in branched thread creation with mutex-oplus priv

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