static void web_addLabelToLabelTop(Web web, S label1, S label2) {
  for (WebNode node : web_nodesLabelled(web, label1))
    web_addLabelTop(node, label2);
}