pruned predicates with duplicate arguments