Augmentation:
------------
Default Input Files:  aug.data, aug_events.data
Default Output File:  aug.results

aug.results contains the aug.data FSM augmented with events listed in aug_events.data.
aug_events.data only contains the list of events (without controllability or masking info).


Underlying function: void AugmentFsm(FILE *fp, FSM *fsm_pr)
Modified Parameters: FSM *fsm_pr
Temporary Files Used: fsm.tmp
Source: Augmentation.h, augment.c

Augments a finite state machine.  This operation is typically carried out before using the library's synchronous composition routine fsm_sync_comp.  When an FSM is augmented, unshared events from the FSM with which it is going to be composed, are added as self loops at every state in the FSM.
fp is the pointer to a file containing the set of events that the FSM will be augmented with.
fsm_pr is the FSM to be augmented.
