t / chainlint / negated-one-liner.expecton commit revision: use a prio_queue to hold rewritten parents (8320b1d)
   1! (foo && bar) &&
   2! (foo && bar) >baz &&
   3
   4?!SEMI?!! (foo; bar) &&
   5?!SEMI?!! (foo; bar) >baz