Hooray! It works again!
Do skolemisation in the common pruning code