maingoblint: make it explicit in `check_arguments` that if `ana.osek.oil` is set, and `ana.base.privatization` is incompatible, it will be changed to `protection-vesal`
maingoblint: make it explicit in `check_arguments` that if `ana.osek.oil` is set, and `ana.base.privatization` is incompatible, it will be changed to `protection-vesal`

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