t / chainlint / negated-one-liner.expecton commit trace2: fix up a missing "leave" entry point (c173542)
   1! (foo && bar) &&
   2! (foo && bar) >baz &&
   3
   4?!SEMI?!! (foo; bar) &&
   5?!SEMI?!! (foo; bar) >baz