[Eva] Fixes simple_memory: do not fail on top locations.

Catches Abstract_interp.Error_Top when folding a location.

When updating the state from a valuation, do not reduce the value for a location
that is not a singleton: the state can instead be left unchanged, while the
binding of an imprecise location cannot reduce the state.