Fixed the test hazard/event_based/case_5