svoid test_leftArrowScript_var() {
  assertEqualsVerbose("hello", leftArrowVerbose([[
    var bla: S <- "hello"; bla
  ]]);
}