Get examples/ARM_security_properties to build given tight equality
Remove TABs from examples
Fix ARM_security_properties example for pat_assum
Delete trailing whitespace
updated ARM model
holmade done OK