Getting Rid of Store-Buffers in TSO Analysis