update WP oracles

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/precedence.res.oracle

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

src/plugins/wp/tests/wp_plugin/oracle/flash.0.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/flash.1.res.oracle

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

src/plugins/wp/tests/wp_plugin/oracle/overassign.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

src/plugins/wp/tests/wp_typed/oracle/user_init.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/user_init.1.res.oracle

src/plugins/wp/tests/wp_usage/oracle/caveat.1.res.oracle

...ugins/wp/tests/wp_usage/oracle/issue-189-bis.0.res.oracle

...ugins/wp/tests/wp_usage/oracle/issue-189-bis.1.res.oracle