Merge branch 'feature/eva/pointer-downcast' into 'master'

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_data/alarms.mli

src/kernel_services/ast_queries/logic_const.ml

src/kernel_services/ast_queries/logic_const.mli

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/rte/flags.ml

src/plugins/rte/flags.mli

src/plugins/rte/generator.ml

src/plugins/rte/generator.mli

src/plugins/rte/register.ml

src/plugins/rte/rte.ml

src/plugins/rte/rte.mli

src/plugins/rte/visit.ml

src/plugins/value/alarmset.ml

src/plugins/value/engine/evaluation.ml

...variadic/tests/known/oracle/printf_garbled_mix.res.oracle

tests/builtins/oracle/Longinit_sequencer.res.oracle