Adding states for discrete and simplified discrete state machines