multi-stage bug: mutex did not recognize the global_inits phase if it was not paired with base
multi-stage bug: mutex did not recognize the global_inits phase if it was not paired with base

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