Updated simple_fault_demo_hazard.out