static L<Pair<WebNode>> webs_differingNodes(Web a, Web b) {
  L<Pair<WebNode>> l = webs_matchNodes(a, b);
  new L<Pair<WebNode>> out;
  for (Pair<WebNode> p : l) {
    if (web_arity(p.a) == web_arity(p.b)) continue;
    out.add(p);
  }
  ret out;
}