Add comment why `MutexUnlock` makes unrealistically strong assumptions.
Add comment why `MutexUnlock` makes unrealistically strong assumptions.

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