Function render_annotation 

pub fn render_annotation(predicate: &GatePredicate) -> String

Render the predicate to its canonical inline annotation. Empty fields are omitted. Returns an empty string when the predicate has no fields at all.