Fix configuration warning string to mention the actual option that is implicitely activated
Fix configuration warning string to mention the actual option that is implicitely activated

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