[wp] Improves MemVar assigned + fixes range on comp

src/plugins/wp/MemVar.ml

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

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

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

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

...var.0.session/cache/26f2bec626edf9f3b21ce506a0dbc878.json

...var.0.session/cache/2ff76ae8947b7c9d0efda0d01090aeec.json

...var.0.session/cache/32c205ac1281122e19bed393f47b07af.json

...var.0.session/cache/47fdc2d6da39295871208bb185768ba9.json

...var.0.session/cache/5829cd050c6e5edf4241b52cfb347dbc.json

...var.0.session/cache/7790b93ea943473c622f27192935dc0e.json

...var.0.session/cache/81f6bbec14f78ded8be06b4d83acbdca.json

...var.0.session/cache/9fc719583241f8c265dc2b57924b4e5c.json

...var.0.session/cache/ad4c4ee63d285e19bebf51be10f2d5da.json

...var.0.session/cache/c17ff689fb984c1d15fced512cddb9f0.json

...var.0.session/cache/ed2046f443d594d7a695098d6732bd53.json

...var.0.session/cache/f65786f87e448872f8395e84331fc2fa.json

...var.0.session/cache/f6db810f4dc379e72d7a04df0c9b64f5.json

...var.0.session/cache/f84e2f80d92f69c9bae45d521a10486b.json

...var.0.session/cache/fbb170335579f1933320c49f3fd8f1ca.json