No. of States:
------------
Input File :  states.data
Output File:  states.results
 
Underlying function: int get_NStates(FSM*)
 
This function is used to determine the number of states in a given
FSM.  A pointer to the FSM is given as its argument and the function
returns an integer corresponding to the number of states in the FSM.
