class Node[V <: Value] extends Frame[V] {
    var successors: Set[Node[V]] = Set()
  }

  object Node {
    def apply(locals: Int, stack: Int) = new Frame(locals, stack)
    def apply[F <: Value](src: Frame[F]) = new Frame(src)
  }