Formally adding the subpath custom predicate