[wp] update oracles wrt alt-ergo 2.2.0

..._qualif/binary-multiplication-without-overflow.res.oracle

...inaryMultiplication_loop_invariant_inv1_ok_preserved.json

...lugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle

...gins/wp/tests/wp_plugin/oracle_qualif/fallback.res.oracle

...wp/tests/wp_plugin/oracle_qualif/no_step_limit.res.oracle

src/plugins/wp/tests/wp_plugin/oracle_qualif/trig.res.oracle

...in/oracle_qualif/unsigned.0.session/script/lemma_U32.json

src/plugins/wp/tests/wp_plugin/trig.i

...t.1.session/script/init_t2_bis_v2_assigns_exit_part2.json

...1.session/script/init_t2_bis_v2_assigns_normal_part2.json

...t.1.session/script/init_t2_bis_v2_loop_assigns_part2.json

...t.1.session/script/init_t2_bis_v2_loop_assigns_part3.json

.../user_init.1.session/script/init_t2_v2_assigns_part2.json

...nit.1.session/script/init_t2_v2_loop_assigns_2_part2.json

...nit.1.session/script/init_t2_v2_loop_assigns_2_part3.json

..._init.1.session/script/init_t2_v2_loop_assigns_part2.json

..._init.1.session/script/init_t2_v2_loop_assigns_part3.json

.../user_init.1.session/script/init_t2_v3_assigns_part2.json

..._init.1.session/script/init_t2_v3_loop_assigns_part2.json

..._init.1.session/script/init_t2_v3_loop_assigns_part3.json