t / chainlint / negated-one-liner.expecton commit trace2: correct trace2 field name documentation (24df0d4)
   1! (foo && bar) &&
   2! (foo && bar) >baz &&
   3
   4?!SEMI?!! (foo; bar) &&
   5?!SEMI?!! (foo; bar) >baz