svoid test_tok_ifCast() {
  testTranspilationFunction tok_ifCast(
    "if (a cast B) a = a.x; print(a);",
    "if (a instanceof B) a = ((B) a).x; print(a);",
    "if (a cast B && a.y) a = a.x; print(a);",
    "if (a instanceof B && ((B) a).y) a = ((B) a).x; print(a);",
  );
}