Utilities to present tracing results (encoded proofs) to the user