If they merge in 7 billion years, I wouldn't count a collision in year 13 billion as a result of colliding galaxies. It would be just a normal behavior of stars colliding in the new galaxy that was formed.