@jon I remember just deboarding at the first stop past the border that was just covered by the ticket that I already bought and then buy the ticket for the remains of the trip. It would sometimes result in a half hour wait but worth the discount.
However, this was ages ago and I don't know what the situation is nowadays.