It certainly explains why checkpoints were introduced! Nxt et. al. improved checkpoints by making transactions irreversible after 720 blocks. In fact, cynicSOB was invited to try attacking Nxt after he managed to double-spend a minor PoS alt.

Thanks to you both for your informative replies.