[wp] Trivial termination handled before WP

src/plugins/wp/cfgCalculus.ml

src/plugins/wp/cfgInfos.ml

...tests/wp_acsl/oracle/terminates_call_options.0.res.oracle

...ns/wp/tests/wp_acsl/oracle/terminates_formulae.res.oracle

...sts/wp_acsl/oracle/terminates_variant_option.0.res.oracle

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

...p_acsl/oracle_qualif/terminates_call_options.0.res.oracle

...ests/wp_acsl/oracle_qualif/terminates_formulae.res.oracle

...acsl/oracle_qualif/terminates_variant_option.0.res.oracle

...acsl/oracle_qualif/terminates_variant_option.1.res.oracle

src/plugins/wp/wpAnnot.ml

src/plugins/wp/wpAnnot.mli