Simplify predicate test; make predicates compute a package transitive closure