<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_s6bea0sg3ef72t7emqflg8qke9, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static WebTree web_makeTree(WebNode node) {
  if (node == null) null;
  WebTree tree = new(node);
  web_makeTree_impl(tree, new HashSet);
  ret tree;
}

static void web_makeTree_impl(WebTree tree, HashSet<WebNode> seen) {
  if (!seen.add(tree.node)) ret;
  for (WebNode n : web_forwardRelated(tree.node)) {
    WebTree tree2 = new(n);
    tree.children.add(pair(tree.node.web.getRelation(tree.node, n), tree2));
    web_makeTree_impl(tree2, seen);
  }
}