!752

p {
  new Prolog p;
  int n = p.mark();
  p.addStatement([[ "Piko" schreibt man "Pico" ]]);
  p.addStatement([[ "Pico" schreibt man "Pico" ]]);
  S x = p.solveAsText(print([[ "Piko" schreibt man $x ]]), "x");
  assertEqualsVerbose(quote("Pico"), x);
  print("ok");
}