!7


p {
  O f = quickSolveToFunction("a", "x", "b", "y");
  print("c => " + assertEquals("z", callF(f, "c")));
  print("OK");
}