Rename dead (command)

File: rename_dead

Description: This program renames the DEAD state of a given FSM to DEADi where i is the smallest integer that makes DEADi a unique state name.

Input: input.fsm - Input FSM

Output: output.fsm - Output FSM