Reachability:
-----------
Default Input File :  reach.data
Default Output File:  reach.results

reach.results contains number of states and state names reachable from initial state described in reach.data FSM


Underlying function: int fsm_reachability(FSM*, char*, char*, NAME_LIST**)
 
The function to compute the reach of a given state takes four
arguments.  The first is a pointer to the FSM under consideration.
The next argument is the name of the state whose reach is to be
computed.  The third argument is either ALL if all transitions
are to be considered or the name of a single transition which is to be
considered for the reachability computation. The last argument is
used to return the names of the reachable states.  The function
returns an integer corresponding to the number of reachable states.
