static Pair<Web, Map<WebNode, WebNode>> cloneWebWithMap(Web web) {
  Web w = web_similarEmptyWeb(web);
  ret pair(w, (Map<WebNode, WebNode>) web_addWebToWeb(web, w));
}