Safety_property loading ...