track all predicates, make new method that is called for all preds.