Function render_proof_text_indented 

pub fn render_proof_text_indented(
    trace: &ProofTrace,
    _register: Register,
    base_indent: usize,
) -> String

As render_proof_text, with a base indentation (nibli-host indents by one).