Function prettify_proof 

pub fn prettify_proof(proof: &Proof) -> String