1. You have a state machine with predicates and advancement functions. 2. You replace a predicate or function from the set with some programming structure. 3.

1. You have a state machine with predicates and advancement functions. 2. You replace a predicate or function from the set with some programming structure. 3. Repeat point 2. until exhaustion. 4. ... 5. Profit.