[wp] Keep global const dependencies

src/plugins/wp/cfgInit.ml

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

...tests/wp_acsl/oracle/global_const_dependencies.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/init_value.0.res.oracle

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

...ugins/wp/tests/wp_acsl/oracle/init_value_mem.0.res.oracle

...ugins/wp/tests/wp_acsl/oracle/init_value_mem.1.res.oracle

...p_acsl/oracle_qualif/global_const_dependencies.res.oracle

src/plugins/wp/tests/wp_store/oracle/struct.res.oracle

...s/wp/tests/wp_typed/oracle/array_initialized.0.res.oracle

...s/wp/tests/wp_typed/oracle/array_initialized.1.res.oracle