Barest skeleton of completed algorithm implementation in place

We have a code complete method that goes through "step 8" of the algorithm for FSM discovery.  It has some unimplemented helper methods at the moment.