Reimplement MustBeProtectedBy in generalized mutex param
Reimplement MustBeProtectedBy in generalized mutex param

Fixes most mutex-oplus failures.

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