static bool isViable(OccTree<E> tree) {
  for (E e : keys(tree.followUp)) {
    if (neq(e.state, "bad")
      && isViable(tree.followUp(e)))
      true;
  }
  ret empty(tree.followUp);
}