Function render 

pub fn render(proof: &Proof, style: Style) -> String

Human report. Every value line carries its label and source.