static void web_addLabelToLabel(Web web, S label1, S label2) {
  for (WebNode node : web_nodesLabelled(web, label1))
    node.addLabel(label2);
}