FSM Extractor function
For more information, see
Running the FSM Extractor
.