static L<WebRelation> indexedRelations_verified(S s) {
  ret web_verifiedWebsOnly(web_relationsOnly(indexedNodes(s)));
}