static Pair<Web, Map<WebNode>> cloneWebWithReverseMap(Web web) {
  Pair<Web, Map<WebNode>> p = cloneWebWithMap(web);
  ret pair(p.a, reversedMap(p.b));
}