aspect JastAddBuild {
  public void Program.flushAttributes() {
    super.flushAttributes();
    flushIntertypeDecls();
  }
}