}
}
break;
}
case Union: {
<BUG>RegExUnion u = (RegExUnion) r;
HashSet<SuccinctRegExMatch> firstMatches, secondMatches;
firstMatches = computeSuccinctly(u.getFirst());
secondMatches = computeSuccinctly(u.getSecond());
results = regexUnion(firstMatches, secondMatches);</BUG>
break;

}
@Override protected HashSet<SuccinctRegExMatch> computeSuccinctly(RegEx r) {
HashSet<SuccinctRegExMatch> results = new HashSet<>();
switch (r.getRegExType()) {
case Blank: {
