Res == ok -> equals(Res, ok) in registry example
subsumption of parallel bugs

implemented naively by checking that all flattenings are subsumed by the new
bug (unless there are more than 1000 flattenings in which case we just say no)
return the bugs in the order they were found