added three cases to modify the safety assumptions. working on removal of liveness guarantees for failure in all three cases