svoid test_tok_recordDecls() {
  LS tok = javaTok("record $HappensBefore$<A, B>(A event1, B event2) extends Fact {}");
  tok_recordDecls(tok);
  print(join(tok));
  assertTrueVerbose(jMatchStart([[
    class $HappensBefore$<A, B> extends Fact implements IFieldsToList {
      A event1;
      B event2;
    ]], tok));
    
  test_tok_recordDecls_2();
}

// we can omit the field types if the type is Object
svoid test_tok_recordDecls_2() {
  LS tok = javaTok("record Blubb(a, b) {}");
  tok_recordDecls(tok);
  print(join(tok));
  assertTrueVerbose(jMatchStart([[
    class Blubb implements IFieldsToList {
      Object a;
      Object b;
    ]], tok));
}