svoid test_standard_toString() {
  class Bla {
    S x, y;
  }
  
  assertEqualsVerbose("Bla(x=a)", standard_toString(setAll(new Bla, x := "a")));
  assertEqualsVerbose("Bla(x=a, y=b)", standard_toString(setAll(new Bla, x := "a", y := "b")));
}