[wp] validated oracles (config quail)

src/plugins/wp/tests/wp/oracle_qualif/sharing.res.oracle

...ns/wp/tests/wp/oracle_qualif/stmtcompiler_test.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_behav.0.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_behav.1.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_eqb.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_strategy.res.oracle

...plugins/wp/tests/wp_acsl/oracle_qualif/arith.0.res.oracle

...plugins/wp/tests/wp_acsl/oracle_qualif/arith.1.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/assign_array.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/assigns_path.res.oracle

...wp/tests/wp_acsl/oracle_qualif/assigns_range.0.res.oracle

...wp/tests/wp_acsl/oracle_qualif/assigns_range.1.res.oracle

src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.res.oracle

...ins/wp/tests/wp_acsl/oracle_qualif/base_offset.res.oracle

...plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/block_length.res.oracle

src/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.res.oracle

...ugins/wp/tests/wp_acsl/oracle_qualif/div_mod.0.res.oracle

...ugins/wp/tests/wp_acsl/oracle_qualif/div_mod.1.res.oracle