Courcelle (1990, Corollary 4.8) shows that the restriction of an HR language by a property expressible in MSO logic yields an HR language (for which a suitable HRG can effectively be constructed).
it suffices to argue that every recognizable DAG language is definable by an MSO formula.