Symbol: predicate_destroy