Function sanitize_property_name 

pub fn sanitize_property_name(name: &str) -> String

Sanitize a human-readable property name into a valid SVA identifier. “Data Integrity” → “p_data_integrity”