genmodel moved
Refactoring for generating strict slicers.
Adding the state machine slicer example