Add replay of shortest subsequence. Doesn't trigger the bug!