redblacktree: adjusted animation pause