Merge branch 'fix/wp/initialized-struct' into 'master'

src/plugins/wp/CodeSemantics.ml

src/plugins/wp/Cvalues.ml

src/plugins/wp/Cvalues.mli

src/plugins/wp/MemEmpty.ml

src/plugins/wp/MemLoader.ml

src/plugins/wp/MemLoader.mli

src/plugins/wp/MemRegion.ml

src/plugins/wp/MemTyped.ml

src/plugins/wp/MemVar.ml

src/plugins/wp/MemZeroAlias.ml

src/plugins/wp/Sigs.ml

src/plugins/wp/cfgWP.ml

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

.../tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle

src/plugins/wp/tests/wp_acsl/assigned_initialized_memtyped.i

src/plugins/wp/tests/wp_acsl/assigned_initialized_memvar.i

...gins/wp/tests/wp_acsl/assigned_not_initialized_memtyped.i

src/plugins/wp/tests/wp_acsl/initialized_memvar.i

src/plugins/wp/tests/wp_acsl/opaque_struct.i

...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle