static void web_addRelation(WebNode a, WebNode b, S rel) {
  a.web.getRelation(a, b).addLabel(rel);
}