t / chainlint / negated-one-liner.expecton commit Merge branch 'bp/checkout-new-branch-optim' (0faaf7e)
   1! (foo && bar) &&
   2! (foo && bar) >baz &&
   3
   4?!SEMI?!! (foo; bar) &&
   5?!SEMI?!! (foo; bar) >baz