Fix skolemization (apparently).
New attempt at predicate tableaux.
Some tests for predicate tableaux.