make DefExc.of_bool behave as the others; fits comment in mli
make DefExc.of_bool behave as the others; fits comment in mli

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