Safety_and_liveness_properties loading ...