[WP] Updates from Argon

src/kernel_services/ast_data/property.ml

src/plugins/report/classify.ml

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/sharing.c.0.report.json

src/plugins/wp/tests/wp/stmtcompiler_test.i.0.report.json

src/plugins/wp/tests/wp/wp_behav.c.0.report.json

src/plugins/wp/tests/wp_acsl/arith.i.0.report.json

src/plugins/wp/tests/wp_acsl/assigns_path.i.0.report.json

src/plugins/wp/tests/wp_acsl/assigns_range.i.0.report.json

src/plugins/wp/tests/wp_acsl/axioms.i.0.report.json

src/plugins/wp/tests/wp_acsl/base_offset.i.0.report.json

src/plugins/wp/tests/wp_acsl/bitwise.i.0.report.json

src/plugins/wp/tests/wp_acsl/classify_float.c.0.report.json

src/plugins/wp/tests/wp_acsl/cnf.i.0.report.json

src/plugins/wp/tests/wp_acsl/div_mod.i.0.report.json

src/plugins/wp/tests/wp_acsl/e_imply.i.0.report.json

src/plugins/wp/tests/wp_acsl/equal.i.0.report.json

src/plugins/wp/tests/wp_acsl/init_value.i.1.report.json