Add predicate assertion example