sig Tree {
  next : Node -> Node
}