[abc] RE: nice tracematch...

I have checked in the attached tracematches to
tmbenches/runtime-verification/reader-writer.

For the "reader" example, we can IMHO unfortunately not cover all error
cases, as readers can be arbitrarily stacked on top of each other (c.f.
tainted String example in PQL). Well, for writers, we essentially have
the same problem, but there I think it is most common to just create a
simple PrintWriter directly on top of a single stream.

Eric