The tokens are just IOUs, they will trade on the exchange and no doubt some people will dump them to get whatever coins they can fast, spoiling the price for everyone else of course. I will hold onto my tokens until they redeem an appropriate price.
With Bitfinex last year, I made the mistake of dumping my tokens early on so I could exit the exchange. I don't think it was necessarily a bad decision in hindsight, because nobody knew how viable the exchange was. At that time, I preferred to take my chances profiting from trading on other exchanges, rather than gambling on Bitfinex's survival.
This time around, I think I would withdraw the crypto that I could, and keep the tokens to trade them on the token markets. Maybe they'd be redeemed in the future, and maybe I'll grind out some profits in the meantime.