Allow rollback to a saved memory when symbol abstraction failed