doc: Difference between properties and attributes
The Xsmith documentation is not clear about the difference between (Xsmith) properties and (RACR) attributes. Can we clean this up?
For example, it is not clear when a user should use add-prop
and when he or she should use add-att-rule
.