No, they used what they thought was the best available FDA approved product. Wonder if they are able to switch horses mid-stream after LL approval or if they have to start all over.
They probably don't need to if they can find the Laplace Transform (or other transform) to correlate data from Ivermectin to data from LL.