Merge branch 'feature/ACSL/generalized-check' into 'indus/THS'

src/kernel_internals/parsing/cparser.mly

src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/oneret.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/analysis/exn_flow.ml

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/analysis/logic_interp.ml

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_printing/cil_types_debug.mli

src/kernel_services/ast_printing/description.ml

src/kernel_services/ast_printing/logic_print.ml