debugging PredicateTest