Simplified and extended state net for initial with top keys
Add Command array parsing state net