[wp] More tests for initialized

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

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

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

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

...sts/wp_acsl/oracle/assigned_initialized_memvar.res.oracle

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

...ped.0.session/cache/052040e80d2b0a66ce3f375f87b6ff42.json

...ped.0.session/cache/0a455ba1935274c35611d5fdf0fc2f8f.json

...ped.0.session/cache/5638c5e45ea8450040bc5a67415363a5.json

...ped.0.session/cache/5651f36fea599e9ff5d67e9df8679972.json

...ped.0.session/cache/84ac30ceabf40ae460d3a6638be6ea4d.json

...ped.0.session/cache/945f495a93303995087d23241c179c2f.json

...ped.0.session/cache/95004af59474d658afa48c1fddcc4b38.json

...ped.0.session/cache/b8ca0e444c91c4ef4790a8775a3da864.json

...ped.0.session/cache/b9b74fb903d3948de1f1284737fcc1b4.json

...ped.0.session/cache/df1b1f99fbd7c697efdffd3389b62ba3.json

...ped.0.session/cache/e4f6b760b38c0d0d9e14569809271d9f.json

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

...var.0.session/cache/0bca5f490c163f9a2d1bc5be85a938cb.json

...var.0.session/cache/0ea068d1821f3b958beb619aabd2bf71.json