let dja_extract_key accept unpruned trees