I once found

``` if (var) assert(var) else assert(!var) ```

in the outsourced test suite for a level A air plane software.