The tests in test.ConnectionClosed use this template, although they seem to be flawed. In testSimple, the trace should be "{C=c2}{C=c1}", because both closed connections v and v2 are being written to, the same is true for testInterleaving. In testTwoMatches the assertion seems to be OK, in testWriteFirst the trace tested should be "{C=c1}", since v is being written to after it was closed.close+(c) write(c)
These three tests are the only ones that fail when running the AllTests test suite with our SymbolBasedIndexing class...