aspect UpdateRemoteAttributeCollections {
  public void Program.updateRemoteAttributeCollections(int num) {
    for(int i = 0; i < num && i < getNumCompilationUnit(); i++)
      getCompilationUnit(i).updateRemoteAttributeCollections();
  }
  protected void ASTNode.updateRemoteAttributeCollections() {
    updateRemoteAttributeCollectionsFrontend();
    for(int i = 0; i < getNumChild(); i++)
      getChild(i).updateRemoteAttributeCollections();
  }
}