Merge DSE and TL stores properly at the end of a path condition