Basic test for predicate tableaux.