pub fn emit_sva_property(prop: &SvaProperty) -> String
Emit a single SVA property with its assertion wrapper.