Making sure to track visited predicates