Progress Check:
--------------
Input Files:  progress.data, service.data
Output File:  progress.results
 
Underlying function: int ProgressCheck(FSM*, FSM*)
 
This function takes in the resultant state machine from ProgressTest
as the first argument and the pointer to the state machine of the service
specification as the second argument, and determines if the system satisfies
progress properties.
It is recommended that users use ProgressCheck in order to synthesize
controllers and use ProgressTest to verify if a controller is safe or not.
