Minor: Improve PruningPredicate documentation
#8394
+38
−19
Merged