static void web_addRelation_newNodeWithPosition(WebNode a, S rel, S b, double rel_x, double rel_y) {
  web_addRelation(a, web_setPosition(a.web.newNode(b), a.x+rel_x, a.y+rel_y), rel);
}