States Labelling:
----------------
   (b)  Relabel:
        ------
Input Files:  label.data, labevents.data
Output File:  label.results
 
Underlying function: void ReLabelEvents(FSM*, FSM*, FSM*)
 
This function is used to relabel the events in a FSM back to its
original self, after operations on the fsm have been carried out upon a call
to LabelEvents.
The first argument to this function is the pointer to a copy of the FSM
before invoking LabelEvents.  The second argument is a pointer to the FSM
which has some events labeled as epsilon transitions.  The third argument
is a pointer to a copy of the relabeled FSM.  This third argument is
provided for debugging purposes, as the second argument is also the
relabeled version.
