Point 8: New property

removed the two liveness properties and added a safety one for point 8