Review of Tree Predicate Rules