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