Class ContextSensitiveStateMachine