public RE union(RE y) throws InterruptedException {
  return mkUnion(this,y);
}

public RE union ( RE y ) throws InterruptedException { return mkUnion ( this , y ) ; }
union the parameter regular expression with this regular expression .
