Added a method to SnapshotRecorder that tries to merge snapshot terms that are not structurally equivalent. This is necessary when joining different symbolic execution paths through the same function, as is done in order to axiomatise heap-dependent functions.
Added a method to SnapshotRecorder that tries to merge snapshot terms that are not structurally equivalent. This is necessary when joining different symbolic execution paths through the same function, as is done in order to axiomatise heap-dependent functions.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors