!include once #1034831 // Gazelle 22 Function Include for Testing

svoid test_leftArrowScript_then() {
  new TestFunctionValues<S, O>(l1 leftArrowVerbose)
    .io([[ new Pair 1 2, b 3 then b ]], 3)
    .run();
}