Merge branch 'feature/wp/unfold-assigns-ranges' into 'master'

src/plugins/wp/Changelog

src/plugins/wp/LogicCompiler.ml

src/plugins/wp/LogicCompiler.mli

src/plugins/wp/LogicSemantics.ml

src/plugins/wp/Sigs.ml

src/plugins/wp/StmtSemantics.ml

src/plugins/wp/cfgWP.ml

src/plugins/wp/doc/manual/wp_plugin.tex

...ins/wp/tests/wp_plugin/oracle/unfold_assigns.0.res.oracle

...ins/wp/tests/wp_plugin/oracle/unfold_assigns.1.res.oracle

...ins/wp/tests/wp_plugin/oracle/unfold_assigns.2.res.oracle

...ins/wp/tests/wp_plugin/oracle/unfold_assigns.3.res.oracle

...tests/wp_plugin/oracle_qualif/unfold_assigns.0.res.oracle

...tests/wp_plugin/oracle_qualif/unfold_assigns.1.res.oracle

...tests/wp_plugin/oracle_qualif/unfold_assigns.2.res.oracle

...p/tests/wp_plugin/oracle_qualif/unfold_assigns.res.oracle

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

src/plugins/wp/wp_parameters.ml

src/plugins/wp/wp_parameters.mli