svoid test_ai_mostLikelyVariables() {
  testFunctionValues ai_mostLikelyVariables(
    "if X then Y", litorderedset("X", "Y"),
    "$x => $y", litorderedset("$x", "$y"),
    "a * b", litorderedset("*"),
    "hello world", null);
}