static void web_addRelation(WebNode a, WebNode b, S rel) {
  if (a != null && b != null && rel != null)
    a.web.getRelation(a, b).addLabel(rel);
}