t / chainlint / negated-one-liner.expecton commit xdiff: clamp function context indices in post-image (b777f3f)
   1! (foo && bar) &&
   2! (foo && bar) >baz &&
   3
   4?!SEMI?!! (foo; bar) &&
   5?!SEMI?!! (foo; bar) >baz