Set the following tests to expected failure under lit. Having these
reported is unnecessary noise right now. Someone needs to fix these
tests but I'm not the author.

    Boogie :: og/DeviceCacheSimplified.bpl
    Boogie :: og/DeviceCacheWithBuffer.bpl
    Boogie :: og/async.bpl
    Boogie :: og/houd1.bpl
    Boogie :: og/lock-introduced.bpl
    Boogie :: og/termination.bpl
    Boogie :: og/treiber-stack.bpl
    Boogie :: test21/Maps2.bpl
    Boogie :: test21/test3_AddMethod_conv.bpl