First step towards tableaux for predicate logic.
Rename Skolem functions.