Moved Context to another package, moved State generation, added Statement
Statement made abstract, added implementations
Added Transition class
Added TransitionGenerator with initial empty methods