Function trace_display 

pub fn trace_display(rule: &ProofRule, result: bool) -> String

Compact textual rendering used in CLI proof traces (… -> TRUE).