public void remove(terminal sym) throws internal_error {
  not_null(sym);
  _elements.clear(sym.index());
}

public void remove ( terminal sym ) throws internal_error { not_null ( sym ) ; _elements . clear ( sym . index ( ) ) ; }
remove a terminal if it is in the set .
