Add function for predicate conversion