Function collapse_proof_with 

pub fn collapse_proof_with(
    trace: &ProofTrace,
    register: Register,
    overlay: Option<&'static DomainGloss>,
) -> RenderedNode

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