`mine-W` privatization undermines Miné, `lock` is less precise than `mine`/`protection`#1613

sim642 wants to merge 4 commits intomastergoblint/analyzer:masterfrom

mine-W-part-by-Sgoblint/analyzer:mine-W-part-by-SCopy head branch name to clipboard