The court has already said that Treasury Dept approval may be required i.e. the court has not overruled the executive order prohibiting transfer of VZ equity interests.

Crystallex is most likely seeking this approval whilst waiting for the appeal process and such approval although likely is not certain, especially with this particularly corrupt (and morally bankrupt) US administration. No one would buy Citgo without this approval. And then of course there is a debt of at least $4 billion on Citgo's books, with 100% of the equity as collateral, so unless Citgo is worth more than $5 billion they could declare bankruptcy.

Still a long way and many more court cases to go. Even when the appeal fails it could take years to sell Citgo. This should have been settled by now but unfortunately the unresolved civil unrest is just adding to the delay. A shame VZ don't have any assets to settle this as they did with GRZ, maybe they could offer their 55% share of Siembra Minera.