dynamic exhaustivity check for C switches generation

src/backends/Ada/ada_backend_adb.ml

src/backends/Ada/ada_backend_common.ml

src/backends/Ada/ada_backend_wrapper.ml

src/backends/Ada/misc_lustre_function.ml

src/backends/C/c_backend.ml

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_main.ml

src/backends/C/c_backend_makefile.ml

src/backends/C/c_backend_spec.ml

src/backends/C/c_backend_src.ml

src/backends/EMF/EMF_backend.ml

src/backends/EMF/EMF_common.ml

src/backends/Horn/horn_backend_common.ml

src/backends/Horn/horn_backend_printers.ml

src/basic_library.ml

src/causality.ml

src/checks/liveness.ml

src/clock_calculus.ml

src/compiler_stages.ml