Add a basis of the predicate rewrite util.