Symbol: predicate_add