svoid test_tok_shortLambdas() {
  testTranspilationFunction tok_shortLambdas(
    "bla(-> blubb)",
    "bla(() -> blubb)",
    "IF0 f = -> yo;",
    "IF0 f = () -> yo;",
    "IF1 f = a -> b;",
    "IF1 f = a -> b;",
    "IF2 f = (a, x) -> b;",
    "IF2 f = (a, x) -> b;",
  );
}