private void addTerm(RE tm) throws InterruptedException {
  terms.addAll(tm.getAlts());
}

private void addTerm ( RE tm ) throws InterruptedException { terms . addAll ( tm . getAlts ( ) ) ; }
add the argument regular expression to the set of terminal right - hand - sides .
