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

svoid test_leftArrowScript_tilde() {
  var test = new TestFunctionValues<S, O>(l1 leftArrowVerbose);
  
  // function inversion with an extra argument (2 in total)
  test
    .io([[litmap "a" 2 "b" 3, ~a]], 2)
    .io([[litmap "a" 2 "b" 3, ~b]], 3)
    .io([[litmap "a" 2 "b" 3, ~c]], null)
    .io([[litmap "a" (litmap "x" 2) "b" 3, ~a ~x]], 2).runAndClear();
}