static HashMap<WebNode, WebNode> web_addNodesToWeb(Web web, Web w) {
  new HashMap<WebNode, WebNode> map;
  for (WebNode node : nodes)
    map.put(node, cloneNodeToWeb(node, w));
  for (Pair<WebNode> p : keys(web.relations))
    w.getRelation(assertNotNull(map.get(p.a)), assertNotNull(map.get(p.b))).addLabels(web.getRelation(p).labels);
  ret map;
}