takeUforward
Find eventual safe states - TUF+