use snapshottable store for heap locations ?

[zapashcanon]

with this implementation http://cambium.inria.fr/~amoine/publications/allain-clement-moine-scherer-24.pdf

and maybe we could also encode them for the solver as done in https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/Moritz_Kn%C3%BCsel_BA_Thesis.pdf ?

this could be the first use-case of what the authors call partial persistence (cc @bclement-ocp and @gasche, it would be interesting to discuss this in late septembre after I finished writing my thesis)