svoid test_tok_recordDecls() {
  LS tok = javaTok("record $HappensBefore$<A, B>(A event1, B event2) extends Fact {}");
  tok_recordDecls(tok);
  assertEqualsVerbose(join(tok), ...);
}