[wp] Improved tests for initialized

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

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

...lugins/wp/tests/wp_acsl/assigned_not_initialized_memvar.i

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

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

..._acsl/oracle/assigned_not_initialized_memtyped.res.oracle

...wp_acsl/oracle/assigned_not_initialized_memvar.res.oracle

...s/wp/tests/wp_acsl/oracle/initialized_memtyped.res.oracle

...sl/oracle_qualif/assigned_initialized_memtyped.res.oracle

...racle_qualif/assigned_not_initialized_memtyped.res.oracle

.../oracle_qualif/assigned_not_initialized_memvar.res.oracle

...sts/wp_acsl/oracle_qualif/initialized_memtyped.res.oracle