Merge branch 'feature/wp/memvar-frame' into 'master'

src/plugins/wp/MemVar.ml

src/plugins/wp/tests/wp_acsl/oracle/equal.res.oracle

...ual.0.session/cache/5863bcb9783af8198ea3c259e56a7924.json

...ual.0.session/cache/779eeed2fb0538630cac0ff491a5a29c.json

...ual.0.session/cache/d1df1e6aa6d901d0b6a6852170a14b29.json

.../wp/tests/wp_hoare/oracle/reference_and_struct.res.oracle

...uct.0.session/cache/c74996e8ecbe3a35835609127c6e2b4e.json

src/plugins/wp/tests/wp_plugin/oracle/initarr.res.oracle

...arr.0.session/cache/2ba962f82cf233aaa33bee4e5a4ef868.json

...arr.0.session/cache/79eb15660c78742aed7621a6dd68b527.json

...ack.0.session/cache/62ebc7446153c03392e768f156775a04.json

...ack.0.session/cache/f4a2b5ec3ce22173881bed69a80a352d.json

src/plugins/wp/tests/wp_typed/frame.i

...s/wp/tests/wp_typed/oracle/array_initialized.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/frame.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/frame.1.res.oracle

...zed.0.session/cache/108580f3feacdb8f5c76cbe017d6adc4.json

...ame.0.session/cache/223519a4d07d64c0cd0f8e35a0e65a38.json

...ame.0.session/cache/32344a2dbed6023a19c79075bb121f6d.json

...ame.0.session/cache/9e94bad7226c7a7a4c490b4470893c4e.json