Merge branch 'feature/patrick/wp-sequent-simplifier' into 'master'

src/plugins/wp/Cint.ml

src/plugins/wp/Conditions.ml

src/plugins/wp/Lang.ml

src/plugins/wp/Lang.mli

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

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

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

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

src/plugins/wp/tests/wp_acsl/oracle/arith.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/assigns_path.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/assigns_range.res.oracle

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

src/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/looplabels.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/postassigns.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/simpl_is_type.res.oracle

...sts/wp_acsl/oracle/terminates_variant_option.1.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/unit_bit_test.res.oracle

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

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