Moved DEFGENERIC form of HIGHLIGHT-OUTPUT-RECORD-TREE to avoid warnings.