Write uo (command)

File: write_uo

Description: This program writes all the uncontrollable events in the FSM to the given output file.

Input: h.fsm - Input FSM

Output: h.uo - List of uncontrollable events in h.fsm