Merge branch 'feature/patrick/acsl-boolean-cast' into 'stable/potassium'

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/ast_queries/logic_utils.ml

src/plugins/value/legacy/eval_terms.ml

src/plugins/wp/Cmath.ml

src/plugins/wp/Cmath.mli

src/plugins/wp/LogicSemantics.ml

src/plugins/wp/tests/wp_acsl/oracle/funvar_inv.1.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/logic.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/unit_bool.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/unit_bool.0.report.json

...ugins/wp/tests/wp_acsl/oracle_qualif/unit_bool.res.oracle

src/plugins/wp/tests/wp_acsl/unit_bool.i

src/plugins/wp/tests/wp_bts/oracle/bts_1382.res.oracle

src/plugins/wp/tests/wp_hoare/oracle/logicarr.res.oracle

...ugins/wp/tests/wp_hoare/oracle/logicref_simple.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/dynamic.res.oracle