In state machine, reduce grammar's start rule before accepting input
Start c code generation
Refactor state machine builder