Predicate-based optimizations