Always compute mutex protection sets
Always compute mutex protection sets

This allows other analyses to query these (on the solution only) without activating an unrelated option.

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