Function render_collapsed_text_with 

pub fn render_collapsed_text_with(
    trace: &ProofTrace,
    register: Register,
    base_indent: usize,
    include_detail: bool,
    overlay: Option<&'static DomainGloss>,
) -> String

As render_collapsed_text, rendering under a domain-gloss overlay (None = the dictionary-fallback default).