Adds identifiers to predicates