[PATCH] rev-tree support for "in X but not in Y".